Mavryk_benchmarks_proto_001_PtAtLas.Gas_helpers
val set_limit : Mavryk_raw_protocol_001_PtAtLas__Alpha_context.t -> Mavryk_raw_protocol_001_PtAtLas__Alpha_context.t
val fp_to_z : Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Gas.Arith.fp -> Z.t