package octez-protocol-016-PtMumbai-libs

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

Package contains no libraries

Parameters

module Unparsing_mode : UNPARSING_MODE

Signature

type log_element =

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

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

val trace_logger : 
  Tezos_raw_protocol_016_PtMumbai__Alpha_context.t ->
  Tezos_protocol_016_PtMumbai.Protocol.Script_typed_ir.logger

val execute : 
  Tezos_raw_protocol_016_PtMumbai__Alpha_context.t ->
  Tezos_protocol_016_PtMumbai.Protocol.Script_interpreter.step_constants ->
  script:Tezos_raw_protocol_016_PtMumbai.Alpha_context.Script.t ->
  entrypoint:Tezos_raw_protocol_016_PtMumbai.Alpha_context.Entrypoint.t ->
  parameter:Tezos_raw_protocol_016_PtMumbai.Alpha_context.Script.expr ->
  ((Tezos_protocol_016_PtMumbai.Protocol.Script_interpreter.execution_result
    * Tezos_raw_protocol_016_PtMumbai.Alpha_context.context)
   * Tezos_protocol_016_PtMumbai.Protocol.Script_typed_ir.execution_trace,
    Tezos_protocol_environment_016_PtMumbai.Error_monad.error
      Tezos_protocol_environment_016_PtMumbai.Error_monad.trace)
    Tezos_protocol_environment_016_PtMumbai.Pervasives.result
    Tezos_protocol_environment_016_PtMumbai.Lwt.t