package tezos-protocol-009-PsFLoren

  1. Overview
  2. Docs
package tezos-protocol-009-PsFLoren
Legend:
Library
Module
Module type
Parameter
Class
Class type
val typecheck_code : 'a Tezos_protocol_environment_009_PsFLoren__Environment.RPC_context.simple -> 'a -> ?gas:Alpha_context.Gas.Arith.integral -> ?legacy:bool -> script:Alpha_context.Script.expr -> (Script_tc_errors.type_map * Alpha_context.Gas.t, Tezos_error_monad.TzCore.error Tezos_error_monad.Error_monad.TzTrace.trace) result Lwt.t
val typecheck_data : 'a Tezos_protocol_environment_009_PsFLoren__Environment.RPC_context.simple -> 'a -> ?gas:Alpha_context.Gas.Arith.integral -> ?legacy:bool -> data:Alpha_context.Script.expr -> ty:Alpha_context.Script.expr -> (Alpha_context.Gas.t, Tezos_error_monad.TzCore.error Tezos_error_monad.Error_monad.TzTrace.trace) result Lwt.t
val pack_data : 'a Tezos_protocol_environment_009_PsFLoren__Environment.RPC_context.simple -> 'a -> ?gas:Alpha_context.Gas.Arith.integral -> data:Alpha_context.Script.expr -> ty:Alpha_context.Script.expr -> (bytes * Alpha_context.Gas.t, Tezos_error_monad.TzCore.error Tezos_error_monad.Error_monad.TzTrace.trace) result Lwt.t
val normalize_data : 'a Tezos_protocol_environment_009_PsFLoren__Environment.RPC_context.simple -> 'a -> ?legacy:bool -> data:Alpha_context.Script.expr -> ty:Alpha_context.Script.expr -> unparsing_mode:Script_ir_translator.unparsing_mode -> (Alpha_context.Script.expr, Tezos_error_monad.TzCore.error Tezos_error_monad.Error_monad.TzTrace.trace) result Lwt.t
val normalize_script : 'a Tezos_protocol_environment_009_PsFLoren__Environment.RPC_context.simple -> 'a -> script:Alpha_context.Script.expr -> unparsing_mode:Script_ir_translator.unparsing_mode -> (Alpha_context.Script.expr, Tezos_error_monad.TzCore.error Tezos_error_monad.Error_monad.TzTrace.trace) result Lwt.t
val entrypoint_type : 'a Tezos_protocol_environment_009_PsFLoren__Environment.RPC_context.simple -> 'a -> script:Alpha_context.Script.expr -> entrypoint:string -> (Alpha_context.Script.expr, Tezos_error_monad.TzCore.error Tezos_error_monad.Error_monad.TzTrace.trace) result Lwt.t
val list_entrypoints : 'a Tezos_protocol_environment_009_PsFLoren__Environment.RPC_context.simple -> 'a -> script:Alpha_context.Script.expr -> (Michelson_v1_primitives.prim list list * (string * Alpha_context.Script.expr) list, Tezos_error_monad.TzCore.error Tezos_error_monad.Error_monad.TzTrace.trace) result Lwt.t