Tezos_benchmarks_proto_023_PtSeouLo.Gas_helpers
val set_limit : Tezos_raw_protocol_023_PtSeouLo__Alpha_context.t -> Tezos_raw_protocol_023_PtSeouLo__Alpha_context.t
val fp_to_z : Tezos_protocol_023_PtSeouLo.Protocol.Alpha_context.Gas.Arith.fp -> Z.t