package tezos-protocol-007-PsDELPH1

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type execution_trace = (Alpha_context.Script.location * Alpha_context.Gas.t * (Alpha_context.Script.expr * string option) list) list
type Tezos_protocol_environment_007_PsDELPH1.Error_monad.error +=
  1. | Michelson_too_many_recursive_calls
type execution_result = {
  1. ctxt : Alpha_context.context;
  2. storage : Alpha_context.Script.expr;
  3. big_map_diff : Alpha_context.Contract.big_map_diff option;
  4. operations : Alpha_context.packed_internal_operation list;
}
module type STEP_LOGGER = sig ... end

STEP_LOGGER is the module type of logging modules as passed to the Michelson interpreter. Note that logging must be performed by side-effects on an underlying log structure.

type logger = (module STEP_LOGGER)
OCaml

Innovation. Community. Security.