Tezos_protocol_plugin_013_PtJakart.Plugin.RPC.Scripts.Traced_interpreter · tezos-protocol-plugin-013-PtJakart 13.0

Parameters

module Unparsing_mode : UNPARSING_MODE

Signature

type log_element =

| Log : Tezos_protocol_013_PtJakart.Protocol.Alpha_context.context
  * Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Script.location
  * ('a * 's)
  * ( 'a, 's ) Tezos_protocol_013_PtJakart.Protocol.Script_typed_ir.stack_ty -> 
  log_element

val unparse_stack : 
  Tezos_raw_protocol_013_PtJakart__Alpha_context.t ->
  (('a * 'b)
   * ( 'a, 'b ) Tezos_protocol_013_PtJakart.Protocol.Script_typed_ir.stack_ty) ->
  Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Script.expr list
    Tezos_protocol_013_PtJakart.Protocol.Environment.Error_monad.tzresult
    Tezos_protocol_013_PtJakart.Protocol.Environment.Lwt.t

val trace_logger : 
  unit ->
  Tezos_protocol_013_PtJakart.Protocol.Script_typed_ir.logger

val execute : 
  Tezos_raw_protocol_013_PtJakart.Alpha_context.t ->
  Tezos_protocol_013_PtJakart.Protocol.Script_interpreter.step_constants ->
  script:Tezos_raw_protocol_013_PtJakart.Alpha_context.Script.t ->
  entrypoint:Tezos_raw_protocol_013_PtJakart.Alpha_context.Entrypoint.t ->
  parameter:Tezos_raw_protocol_013_PtJakart.Alpha_context.Script.expr ->
  ( (Tezos_protocol_013_PtJakart.Protocol.Script_interpreter.execution_result
     * Tezos_raw_protocol_013_PtJakart.Alpha_context.context)
    * Tezos_protocol_013_PtJakart.Protocol.Script_typed_ir.execution_trace,
    Tezos_protocol_environment_013_PtJakart__Environment.Error_monad.error
      Tezos_protocol_environment_013_PtJakart__Environment.Error_monad.trace )
    result
    Lwt.t

tezos-protocol-plugin-013-PtJakart 15.1 15.0 14.0 13.0

Parameters

Signature

tezos-protocol-plugin-013-PtJakart