Michelson_v1_stack (mavkit-protocol-alpha-libs.Mavryk_client_alpha.Michelson_v1

type localized_node

type Mavryk_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:
    (Mavryk_micheline.Micheline.canonical_location, string)
      Mavryk_micheline.Micheline.node ->
  string Michelson_v1_parser.parser_result ->
  (Mavryk_protocol_alpha.Protocol.Alpha_context.Script.expr
   * Mavryk_protocol_alpha.Protocol.Alpha_context.Script.expr)
    list
    Mavryk_base.TzPervasives.tzresult

val parse_other_contracts : 
  ?node:
    (Mavryk_micheline.Micheline.canonical_location, string)
      Mavryk_micheline.Micheline.node ->
  string Michelson_v1_parser.parser_result ->
  Mavryk_protocol_plugin_alpha.RPC.Scripts.S.other_contract_description list
    Mavryk_base.TzPervasives.tzresult

val parse_extra_big_maps : 
  ?node:
    (Mavryk_micheline.Micheline.canonical_location, string)
      Mavryk_micheline.Micheline.node ->
  string Michelson_v1_parser.parser_result ->
  Mavryk_protocol_plugin_alpha.RPC.Scripts.S.extra_big_map_description list
    Mavryk_base.TzPervasives.tzresult

type unit_test_optional = {

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

}

type unit_test = {

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

}

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