octez-protocol-019-PtParisB-libs 20.1

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 : Format.formatter -> localized_node -> unit

val print_localized_node : 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_019_PtParisB.Protocol.Alpha_context.Script.expr
   * Tezos_protocol_019_PtParisB.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_019_PtParisB.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_019_PtParisB.RPC.Scripts.S.extra_big_map_description
    list
    Tezos_base.TzPervasives.tzresult

type unit_test_optional = {

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

}

type unit_test = {

input : (Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Script.expr * Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Script.expr) list;
code : Tezos_protocol_019_PtParisB.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

package octez-protocol-019-PtParisB-libs