Traced_interpreter (mavkit-protocol-alpha-libs.Mavryk_protocol_plugin_alpha.RPC.Scripts.Traced

Parameters

module Unparsing_mode : UNPARSING_MODE

Signature

type log_element =

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

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

val trace_logger : 
  Mavryk_raw_protocol_alpha__Alpha_context.t ->
  Mavryk_protocol_alpha.Protocol.Script_typed_ir.logger

val execute : 
  Mavryk_raw_protocol_alpha__Alpha_context.t ->
  Mavryk_protocol_alpha.Protocol.Script_interpreter.step_constants ->
  script:Mavryk_raw_protocol_alpha.Alpha_context.Script.t ->
  entrypoint:Mavryk_raw_protocol_alpha.Alpha_context.Entrypoint.t ->
  parameter:Mavryk_raw_protocol_alpha.Alpha_context.Script.expr ->
  ((Mavryk_protocol_alpha.Protocol.Script_interpreter.execution_result
    * Mavryk_raw_protocol_alpha.Alpha_context.context)
   * Mavryk_protocol_alpha.Protocol.Script_typed_ir.execution_trace,
    Mavryk_protocol_environment_alpha.Error_monad.error
      Mavryk_protocol_environment_alpha.Error_monad.trace)
    Stdlib.result
    Lwt.t