Michelson_v1_stack (octez-protocol-alpha-libs.Tezos_client_alpha.Michelson_v1

type localized_node

type Tezos_base.TzPervasives.error +=

| Wrong_stack_item of localized_node
| Wrong_stack of localized_node
| Wrong_other_contracts_item of localized_node
| Wrong_other_contracts of localized_node
| Wrong_extra_big_maps_item of localized_node
| Wrong_extra_big_maps of localized_node
| Invalid_address_for_smart_contract of string
| Duplicated_tzt_top_prim of string * localized_node
| Wrong_tzt_top_prim_arity of string * localized_node * int
| Unknown_tzt_top_prim of string * localized_node
| Missing_mandatory_tzt_top_prim of string

val print_localized_node_location : 
  Stdlib.Format.formatter ->
  localized_node ->
  unit

val print_localized_node : Stdlib.Format.formatter -> localized_node -> unit

val parse_stack : 
  ?node:
    (Tezos_micheline.Micheline.canonical_location, string)
      Tezos_micheline.Micheline.node ->
  string Michelson_v1_parser.parser_result ->
  (Tezos_protocol_alpha.Protocol.Alpha_context.Script.expr
   * Tezos_protocol_alpha.Protocol.Alpha_context.Script.expr)
    list
    Tezos_base.TzPervasives.tzresult

val parse_other_contracts : 
  ?node:
    (Tezos_micheline.Micheline.canonical_location, string)
      Tezos_micheline.Micheline.node ->
  string Michelson_v1_parser.parser_result ->
  Tezos_protocol_plugin_alpha.RPC.Scripts.S.other_contract_description list
    Tezos_base.TzPervasives.tzresult

val parse_extra_big_maps : 
  ?node:
    (Tezos_micheline.Micheline.canonical_location, string)
      Tezos_micheline.Micheline.node ->
  string Michelson_v1_parser.parser_result ->
  Tezos_protocol_plugin_alpha.RPC.Scripts.S.extra_big_map_description list
    Tezos_base.TzPervasives.tzresult

type unit_test_optional = {

now : Tezos_protocol_alpha.Protocol.Script_timestamp.t option;
level : Tezos_protocol_alpha.Protocol.Script_int.n Tezos_protocol_alpha.Protocol.Script_int.num option;
sender : Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t option;
source : Signature.public_key_hash option;
chain_id : Tezos_base.TzPervasives.Chain_id.t option;
self : Tezos_protocol_alpha.Protocol.Contract_hash.t option;
parameter : Tezos_protocol_alpha.Protocol.Alpha_context.Script.expr option;
amount : Tezos_protocol_alpha.Protocol.Alpha_context.Tez.t option;
balance : Tezos_protocol_alpha.Protocol.Alpha_context.Tez.t option;
other_contracts : Tezos_protocol_plugin_alpha.RPC.Scripts.S.other_contract_description list option;
extra_big_maps : Tezos_protocol_plugin_alpha.RPC.Scripts.S.extra_big_map_description list option;

}

type unit_test = {

input : (Tezos_protocol_alpha.Protocol.Alpha_context.Script.expr * Tezos_protocol_alpha.Protocol.Alpha_context.Script.expr) list;
code : Tezos_protocol_alpha.Protocol.Alpha_context.Script.expr;
output : (Tezos_micheline.Micheline.canonical_location, string) Tezos_micheline.Micheline.node;
optional : unit_test_optional;

}

val parse_unit_test : 
  string Michelson_v1_parser.parser_result ->
  unit_test Tezos_base.TzPervasives.tzresult