Mavryk_raw_protocol_001_PtAtLas.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