module Annotated_manager_operation : sig ... endAnnotated manager operations are wrappers used to accumulate information (especially about limits) on the operation prior to the injection.
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 Client_proto_utils : sig ... endmodule Injection : sig ... endmodule Limit : sig ... endThis helper module allows to handle partially specified limits during the injection process.
module Managed_contract : sig ... endmodule Michelson_v1_emacs : sig ... endmodule Michelson_v1_entrypoints : sig ... endmodule Michelson_v1_error_reporter : sig ... endmodule Michelson_v1_helpers : 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 ... end