tezos-protocol-007-PsDELPH1 10.2

tezos-protocol-007-PsDELPH1

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__Environment.Error_monad.error +=

| Reject of Alpha_context.Script.location * Alpha_context.Script.expr * execution_trace option

type Tezos_protocol_environment_007_PsDELPH1__Environment.Error_monad.error +=

| Overflow of Alpha_context.Script.location * execution_trace option

type Tezos_protocol_environment_007_PsDELPH1__Environment.Error_monad.error +=

| Runtime_contract_error : Alpha_context.Contract.t * Alpha_context.Script.expr -> Tezos_protocol_environment_007_PsDELPH1__Environment.Error_monad.error

type Tezos_protocol_environment_007_PsDELPH1__Environment.Error_monad.error +=

| Bad_contract_parameter of Alpha_context.Contract.t

type Tezos_protocol_environment_007_PsDELPH1__Environment.Error_monad.error +=

| Cannot_serialize_log

type Tezos_protocol_environment_007_PsDELPH1__Environment.Error_monad.error +=

| Cannot_serialize_failure

type Tezos_protocol_environment_007_PsDELPH1__Environment.Error_monad.error +=

| Cannot_serialize_storage

type Tezos_protocol_environment_007_PsDELPH1__Environment.Error_monad.error +=

| Michelson_too_many_recursive_calls

type execution_result = {

ctxt : Alpha_context.context;
storage : Alpha_context.Script.expr;
big_map_diff : Alpha_context.Contract.big_map_diff option;
operations : Alpha_context.packed_internal_operation list;

}

type step_constants = {

}

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)

val step : 
  logger ->
  Alpha_context.context ->
  step_constants ->
  ('bef, 'aft) Script_typed_ir.descr ->
  'bef ->
  ('aft * Alpha_context.context,
    Tezos_protocol_environment_007_PsDELPH1__Environment.Error_monad.error list)
    result
    Lwt.t

val execute : 
  Alpha_context.t ->
  Script_ir_translator.unparsing_mode ->
  step_constants ->
  script:Alpha_context.Script.t ->
  entrypoint:string ->
  parameter:Alpha_context.Script.expr ->
  (execution_result,
    Tezos_protocol_environment_007_PsDELPH1__Environment.Error_monad.error list)
    result
    Lwt.t

val trace : 
  Alpha_context.t ->
  Script_ir_translator.unparsing_mode ->
  step_constants ->
  script:Alpha_context.Script.t ->
  entrypoint:string ->
  parameter:Alpha_context.Script.expr ->
  (execution_result * execution_trace,
    Tezos_protocol_environment_007_PsDELPH1__Environment.Error_monad.error list)
    result
    Lwt.t

package tezos-protocol-007-PsDELPH1