module Client_proto_args : sig ... endmodule Client_proto_context : sig ... endmodule Client_proto_contracts : sig ... endmodule Client_proto_fa12 : sig ... endClient_proto_fa12 implements built-in support for the FA1.2 standard. This module features functions to check whether a contract implements the standard interface and to interact with such contracts using high-level actions that model the entrypoint calls.
module Client_proto_programs : sig ... endmodule Light : sig ... endmodule Managed_contract : sig ... endmodule Michelson_v1_emacs : sig ... endmodule Michelson_v1_entrypoints : sig ... endmodule Michelson_v1_error_reporter : sig ... endmodule Michelson_v1_macros : sig ... endmodule Michelson_v1_parser : sig ... endmodule Michelson_v1_printer : sig ... endmodule Operation_result : sig ... endmodule Protocol_client_context : sig ... endmodule Proxy : sig ... end