Mavryk_raw_protocol_alpha.Michelson_v1_gasThis module provides the gas costs for typechecking Michelson scripts, parsing and unparsing Michelson values, and interpreting Michelson instructions.
module Cost_of : sig ... endmodule Internal_for_tests : sig ... end