package octez-protocol-001-PtCJ7pwo-libs

  1. Overview
  2. Docs
module Program : Tezos_client_base.Client_aliases.Alias with type t = Tezos_client_001_PtCJ7pwo.Michelson_v1_parser.parsed Tezos_micheline.Micheline_parser.parsing_result
val typecheck_data : Alpha_client_context.rpc_context -> ?chain:Tezos_shell_services.Shell_services.chain -> block:Tezos_shell_services.Shell_services.block -> ?gas:Z.t -> data:Michelson_v1_parser.parsed -> ty:Michelson_v1_parser.parsed -> unit -> Tezos_protocol_001_PtCJ7pwo.Protocol.Alpha_context.Gas.t Tezos_base.TzPervasives.tzresult Lwt.t
val typecheck_program : Alpha_client_context.rpc_context -> ?chain:Tezos_shell_services.Shell_services.chain -> block:Tezos_shell_services.Shell_services.block -> ?gas:Z.t -> Michelson_v1_parser.parsed -> (Tezos_protocol_001_PtCJ7pwo.Protocol.Script_tc_errors.type_map * Tezos_protocol_001_PtCJ7pwo.Protocol.Alpha_context.Gas.t) Tezos_base.TzPervasives.tzresult Lwt.t
val print_typecheck_result : emacs:bool -> show_types:bool -> print_source_on_error:bool -> Michelson_v1_parser.parsed -> (Tezos_protocol_001_PtCJ7pwo.Protocol.Script_tc_errors.type_map * Tezos_protocol_001_PtCJ7pwo.Protocol.Alpha_context.Gas.t) Tezos_base.TzPervasives.tzresult -> Tezos_client_base.Client_context.printer -> unit Tezos_base.TzPervasives.tzresult Lwt.t
OCaml

Innovation. Community. Security.