tezos-protocol-plugin-013-PtJakart

Tezos/Protocol: protocol plugin
Library tezos-protocol-plugin-013-PtJakart
module S : sig ... end
module type UNPARSING_MODE = sig ... end
module Unparse_types : sig ... end
val run_operation_service : Tezos_raw_protocol_013_PtJakart__Alpha_context.t -> unit -> (Tezos_protocol_013_PtJakart.Protocol.Alpha_context.packed_operation * Tezos_crypto.Chain_id.t) -> ( Tezos_protocol_013_PtJakart.Protocol.Alpha_context.packed_protocol_data * Tezos_protocol_013_PtJakart.Protocol.Apply_results.packed_operation_metadata, Tezos_protocol_environment_013_PtJakart__Environment.Error_monad.error Tezos_protocol_environment_013_PtJakart__Environment.Error_monad.trace ) result Lwt.t
val simulate_operation_service : Tezos_raw_protocol_013_PtJakart__Alpha_context.t -> < successor_level : bool > -> (int32 option * Tezos_protocol_013_PtJakart.Protocol.Alpha_context.packed_operation * Tezos_crypto.Chain_id.t * int) -> ( Tezos_protocol_013_PtJakart.Protocol.Alpha_context.packed_protocol_data * Tezos_protocol_013_PtJakart.Protocol.Apply_results.packed_operation_metadata, Tezos_protocol_environment_013_PtJakart__Environment.Error_monad.error Tezos_protocol_environment_013_PtJakart__Environment.Error_monad.trace ) result Lwt.t
val default_from_context : 'a -> ( 'a -> ( 'b, 'c ) result Lwt.t ) -> 'b option -> ( 'b, 'c ) result Lwt.t
val register : unit -> unit
val run_code : ?unparsing_mode: Tezos_protocol_013_PtJakart.Protocol.Script_ir_translator.unparsing_mode -> ?gas:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Gas.Arith.integral -> ?entrypoint:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Entrypoint.t -> ?balance:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Tez.t -> script:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Script.expr -> storage:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Script.expr -> input:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Script.expr -> amount:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Tez.t -> chain_id:Tezos_protocol_013_PtJakart.Protocol.Environment.Chain_id.t -> source:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Contract.t option -> payer:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Contract.t option -> self:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Contract.t option -> now: Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Script_timestamp.t option -> level: Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Script_int.n Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Script_int.num option -> 'a Tezos_protocol_013_PtJakart.Protocol.Environment.RPC_context.simple -> 'a -> ( Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Script.expr * Tezos_protocol_013_PtJakart.Protocol.Apply_results.packed_internal_contents list * Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Lazy_storage.diffs option, Tezos_base.TzPervasives.Error_monad.tztrace ) result Lwt.t
val trace_code : ?unparsing_mode: Tezos_protocol_013_PtJakart.Protocol.Script_ir_translator.unparsing_mode -> ?gas:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Gas.Arith.integral -> ?entrypoint:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Entrypoint.t -> ?balance:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Tez.t -> script:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Script.expr -> storage:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Script.expr -> input:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Script.expr -> amount:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Tez.t -> chain_id:Tezos_protocol_013_PtJakart.Protocol.Environment.Chain_id.t -> source:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Contract.t option -> payer:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Contract.t option -> self:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Contract.t option -> now: Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Script_timestamp.t option -> level: Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Script_int.n Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Script_int.num option -> 'a Tezos_protocol_013_PtJakart.Protocol.Environment.RPC_context.simple -> 'a -> ( Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Script.expr * Tezos_protocol_013_PtJakart.Protocol.Apply_results.packed_internal_contents list * (Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Script.location * Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Gas.t * Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Script.expr list) list * Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Lazy_storage.diffs option, Tezos_base.TzPervasives.Error_monad.tztrace ) result Lwt.t