package tezos-protocol-002-PsYLVpVv

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
val typecheck_code : 'a Tezos_protocol_environment_002_PsYLVpVv__Environment.RPC_context.simple -> 'a -> (Alpha_context.Script.expr * Z.t option) -> (Script_tc_errors.type_map * Alpha_context.Gas.t, Tezos_error_monad.TzCore.error list) result Lwt.t
val typecheck_data : 'a Tezos_protocol_environment_002_PsYLVpVv__Environment.RPC_context.simple -> 'a -> (Alpha_context.Script.expr * Alpha_context.Script.expr * Z.t option) -> (Alpha_context.Gas.t, Tezos_error_monad.TzCore.error list) result Lwt.t
val pack_data : 'a Tezos_protocol_environment_002_PsYLVpVv__Environment.RPC_context.simple -> 'a -> (Alpha_context.Script.expr * Alpha_context.Script.expr * Z.t option) -> (Tezos_protocol_environment_structs.V0.M.MBytes.t * Alpha_context.Gas.t, Tezos_error_monad.TzCore.error list) result Lwt.t
val run_operation : 'a Tezos_protocol_environment_002_PsYLVpVv__Environment.RPC_context.simple -> 'a -> Alpha_context.packed_operation -> (Alpha_context.packed_protocol_data * Apply_results.packed_operation_metadata, Tezos_error_monad.TzCore.error list) result Lwt.t