package tezos-protocol-plugin-012-Psithaca

  1. Overview
  2. Docs
module S : sig ... end
module type UNPARSING_MODE = sig ... end
module Unparse_types : sig ... end
val run_operation_service : Tezos_raw_protocol_012_Psithaca__Alpha_context.t -> unit -> (Tezos_protocol_012_Psithaca.Protocol.Alpha_context.packed_operation * Tezos_crypto.Chain_id.t) -> (Tezos_protocol_012_Psithaca.Protocol.Alpha_context.packed_protocol_data * Tezos_protocol_012_Psithaca.Protocol.Apply_results.packed_operation_metadata, Tezos_protocol_environment_012_Psithaca__Environment.Error_monad.error Tezos_protocol_environment_012_Psithaca__Environment.Error_monad.trace) result Lwt.t
val simulate_operation_service : Tezos_raw_protocol_012_Psithaca__Alpha_context.t -> unit -> (int32 option * Tezos_protocol_012_Psithaca.Protocol.Alpha_context.packed_operation * Tezos_crypto.Chain_id.t * int) -> (Tezos_protocol_012_Psithaca.Protocol.Alpha_context.packed_protocol_data * Tezos_protocol_012_Psithaca.Protocol.Apply_results.packed_operation_metadata, Tezos_protocol_environment_012_Psithaca__Environment.Error_monad.error Tezos_protocol_environment_012_Psithaca__Environment.Error_monad.trace) result Lwt.t
val register : unit -> unit
val trace_code : ?unparsing_mode: Tezos_protocol_012_Psithaca.Protocol.Script_ir_translator.unparsing_mode -> ?gas:Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Gas.Arith.integral -> ?entrypoint:string -> script:Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Script.expr -> storage:Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Script.expr -> input:Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Script.expr -> amount:Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Tez.t -> balance:Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Tez.t -> chain_id:Tezos_protocol_012_Psithaca.Protocol.Environment.Chain_id.t -> source:Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Contract.t option -> payer:Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Contract.t option -> now: Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Script_timestamp.t option -> level: Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Script_int.n Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Script_int.num option -> 'a Tezos_protocol_012_Psithaca.Protocol.Environment.RPC_context.simple -> 'a -> (Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Script.expr * Tezos_raw_protocol_012_Psithaca__Alpha_context.packed_internal_operation list * (Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Script.location * Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Gas.t * (Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Script.expr * string option) list) list * Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Lazy_storage.diffs option, Tezos_error_monad.TzCore.error Tezos_error_monad.Error_monad.TzTrace.trace) result Lwt.t