Tezos_benchmarks_proto_025_PsUshuai.Gas_helpers
val set_limit : Tezos_raw_protocol_025_PsUshuai__Alpha_context.t -> Tezos_raw_protocol_025_PsUshuai__Alpha_context.t
val fp_to_z : Tezos_protocol_025_PsUshuai.Protocol.Alpha_context.Gas.Arith.fp -> Z.t