Mavryk_benchmarks_proto_alpha.Gas_helpers
val set_limit : Mavryk_raw_protocol_alpha__Alpha_context.t -> Mavryk_raw_protocol_alpha__Alpha_context.t
val fp_to_z : Mavryk_protocol_alpha.Protocol.Alpha_context.Gas.Arith.fp -> Z.t