tezos-protocol-005-PsBabyM1 9.7

tezos-protocol-005-PsBabyM1

type execution_trace =
  (Alpha_context.Script.location
   * Alpha_context.Gas.t
   * (Alpha_context.Script.expr * string option) list)
    list

type Tezos_protocol_environment_005_PsBabyM1__Environment.Error_monad.error +=

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

type Tezos_protocol_environment_005_PsBabyM1__Environment.Error_monad.error +=

| Overflow of Alpha_context.Script.location * execution_trace option

type Tezos_protocol_environment_005_PsBabyM1__Environment.Error_monad.error +=

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

type Tezos_protocol_environment_005_PsBabyM1__Environment.Error_monad.error +=

| Bad_contract_parameter of Alpha_context.Contract.t

type Tezos_protocol_environment_005_PsBabyM1__Environment.Error_monad.error +=

| Cannot_serialize_log

type Tezos_protocol_environment_005_PsBabyM1__Environment.Error_monad.error +=

| Cannot_serialize_failure

type Tezos_protocol_environment_005_PsBabyM1__Environment.Error_monad.error +=

| Cannot_serialize_storage

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 = {

}

type 'tys stack =

| Item : 'ty * 'rest stack -> ('ty * 'rest) stack
| Empty : Script_typed_ir.end_of_stack stack

val step : 
  ?log:
    execution_trace
      Tezos_protocol_environment_005_PsBabyM1__Environment.Pervasives.ref ->
  Alpha_context.context ->
  step_constants ->
  ('bef, 'aft) Script_typed_ir.descr ->
  'bef stack ->
  ('aft stack * Alpha_context.context,
    Tezos_protocol_environment_005_PsBabyM1__Environment.Error_monad.error list)
    Stdlib.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_005_PsBabyM1__Environment.Error_monad.error list)
    Stdlib.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_005_PsBabyM1__Environment.Error_monad.error list)
    Stdlib.result
    Lwt.t

package tezos-protocol-005-PsBabyM1