package octez-protocol-alpha-libs

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Scripts.Traced_interpreterSource

Parameters

Signature

Sourcetype log_element =
  1. | Log : Tezos_protocol_alpha.Protocol.Alpha_context.context * Tezos_protocol_alpha.Protocol.Alpha_context.Script.location * ('a * 's) * ('a, 's) Tezos_protocol_alpha.Protocol.Script_typed_ir.stack_ty -> log_element
Sourceval unparse_stack : Tezos_raw_protocol_alpha__Alpha_context.context -> (('a * 'b) * ('a, 'b) Tezos_protocol_alpha.Protocol.Script_typed_ir.stack_ty) -> Tezos_protocol_alpha.Protocol.Alpha_context.Script.expr list Tezos_protocol_alpha.Environment.Error_monad.tzresult Tezos_protocol_alpha.Environment.Lwt.t
Sourceval trace_logger : Tezos_raw_protocol_alpha__Alpha_context.context -> Tezos_protocol_alpha.Protocol.Script_typed_ir.logger
Sourceval execute : Tezos_raw_protocol_alpha__Alpha_context.context -> Tezos_protocol_alpha.Protocol.Script_interpreter.step_constants -> script:Tezos_raw_protocol_alpha.Alpha_context.Script.t -> entrypoint:Tezos_raw_protocol_alpha.Alpha_context.Entrypoint.t -> parameter:Tezos_raw_protocol_alpha.Alpha_context.Script.expr -> ((Tezos_protocol_alpha.Protocol.Script_interpreter.execution_result * Tezos_raw_protocol_alpha.Alpha_context.context) * Tezos_protocol_alpha.Protocol.Script_typed_ir.execution_trace, Tezos_protocol_environment_alpha.Error_monad.error Tezos_protocol_environment_alpha.Error_monad.trace) result Lwt.t
OCaml

Innovation. Community. Security.