tezos-protocol-004-Pt24m4xi 20.1

type var_annot = [

| `Var_annot of string

]

type type_annot = [

| `Type_annot of string

]

type field_annot = [

| `Field_annot of string

]

type annot = [

| var_annot
| type_annot
| field_annot

]

type 'ty comparable_ty =

| Int_key : type_annot option -> Alpha_context.Script_int.z Alpha_context.Script_int.num comparable_ty
| Nat_key : type_annot option -> Alpha_context.Script_int.n Alpha_context.Script_int.num comparable_ty
| String_key : type_annot option -> string comparable_ty
| Bytes_key : type_annot option -> Tezos_protocol_environment_004_Pt24m4xi.MBytes.t comparable_ty
| Mutez_key : type_annot option -> Alpha_context.Tez.t comparable_ty
| Bool_key : type_annot option -> bool comparable_ty
| Key_hash_key : type_annot option -> Alpha_context.public_key_hash comparable_ty
| Timestamp_key : type_annot option -> Alpha_context.Script_timestamp.t comparable_ty
| Address_key : type_annot option -> Alpha_context.Contract.t comparable_ty

module type Boxed_set = sig ... end

type 'elt set = (module Boxed_set with type elt = 'elt)

module type Boxed_map = sig ... end

type ('key, 'value) map =
  (module Boxed_map
  with type key = 'key
   and type value = 'value)

type ('arg, 'storage) script = {

code : (('arg, 'storage) pair, (Alpha_context.packed_internal_operation list, 'storage) pair) lambda;
arg_type : 'arg ty;
storage : 'storage;
storage_type : 'storage ty;

}

and ('a, 'b) pair = 'a * 'b

and ('a, 'b) union =

| L of 'a
| R of 'b

and end_of_stack = unit

and ('arg, 'ret) lambda =

| Lam of ('arg * end_of_stack, 'ret * end_of_stack) descr * Alpha_context.Script.expr

and 'arg typed_contract = 'arg ty * Alpha_context.Contract.t

and 'ty ty =

| Unit_t : type_annot option -> unit ty
| Int_t : type_annot option -> Alpha_context.Script_int.z Alpha_context.Script_int.num ty
| Nat_t : type_annot option -> Alpha_context.Script_int.n Alpha_context.Script_int.num ty
| Signature_t : type_annot option -> Alpha_context.signature ty
| String_t : type_annot option -> string ty
| Bytes_t : type_annot option -> Tezos_protocol_environment_004_Pt24m4xi.MBytes.t ty
| Mutez_t : type_annot option -> Alpha_context.Tez.t ty
| Key_hash_t : type_annot option -> Alpha_context.public_key_hash ty
| Key_t : type_annot option -> Alpha_context.public_key ty
| Timestamp_t : type_annot option -> Alpha_context.Script_timestamp.t ty
| Address_t : type_annot option -> Alpha_context.Contract.t ty
| Bool_t : type_annot option -> bool ty
| Pair_t : ('a ty * field_annot option * var_annot option) * ('b ty * field_annot option * var_annot option) * type_annot option -> ('a, 'b) pair ty
| Union_t : ('a ty * field_annot option) * ('b ty * field_annot option) * type_annot option -> ('a, 'b) union ty
| Lambda_t : 'arg ty * 'ret ty * type_annot option -> ('arg, 'ret) lambda ty
| Option_t : ('v ty * field_annot option) * field_annot option * type_annot option -> 'v option ty
| List_t : 'v ty * type_annot option -> 'v list ty
| Set_t : 'v comparable_ty * type_annot option -> 'v set ty
| Map_t : 'k comparable_ty * 'v ty * type_annot option -> ('k, 'v) map ty
| Big_map_t : 'k comparable_ty * 'v ty * type_annot option -> ('k, 'v) big_map ty
| Contract_t : 'arg ty * type_annot option -> 'arg typed_contract ty
| Operation_t : type_annot option -> Alpha_context.packed_internal_operation ty

and 'ty stack_ty =

| Item_t : 'ty ty * 'rest stack_ty * var_annot option -> ('ty * 'rest) stack_ty
| Empty_t : end_of_stack stack_ty

and ('key, 'value) big_map = {

diff : ('key, 'value option) map;
key_type : 'key ty;
value_type : 'value ty;

}

and ('bef, 'aft) instr =

| Drop : (_ * 'rest, 'rest) instr
| Dup : ('top * 'rest, 'top * ('top * 'rest)) instr
| Swap : ('tip * ('top * 'rest), 'top * ('tip * 'rest)) instr
| Const : 'ty -> ('rest, 'ty * 'rest) instr
| Cons_pair : ('car * ('cdr * 'rest), ('car, 'cdr) pair * 'rest) instr
| Car : (('car, _) pair * 'rest, 'car * 'rest) instr
| Cdr : ((_, 'cdr) pair * 'rest, 'cdr * 'rest) instr
| Cons_some : ('v * 'rest, 'v option * 'rest) instr
| Cons_none : 'a ty -> ('rest, 'a option * 'rest) instr
| If_none : ('bef, 'aft) descr * ('a * 'bef, 'aft) descr -> ('a option * 'bef, 'aft) instr
| Left : ('l * 'rest, ('l, 'r) union * 'rest) instr
| Right : ('r * 'rest, ('l, 'r) union * 'rest) instr
| If_left : ('l * 'bef, 'aft) descr * ('r * 'bef, 'aft) descr -> (('l, 'r) union * 'bef, 'aft) instr
| Cons_list : ('a * ('a list * 'rest), 'a list * 'rest) instr
| Nil : ('rest, 'a list * 'rest) instr
| If_cons : ('a * ('a list * 'bef), 'aft) descr * ('bef, 'aft) descr -> ('a list * 'bef, 'aft) instr
| List_map : ('a * 'rest, 'b * 'rest) descr -> ('a list * 'rest, 'b list * 'rest) instr
| List_iter : ('a * 'rest, 'rest) descr -> ('a list * 'rest, 'rest) instr
| List_size : ('a list * 'rest, Alpha_context.Script_int.n Alpha_context.Script_int.num * 'rest) instr
| Empty_set : 'a comparable_ty -> ('rest, 'a set * 'rest) instr
| Set_iter : ('a * 'rest, 'rest) descr -> ('a set * 'rest, 'rest) instr
| Set_mem : ('elt * ('elt set * 'rest), bool * 'rest) instr
| Set_update : ('elt * (bool * ('elt set * 'rest)), 'elt set * 'rest) instr
| Set_size : ('a set * 'rest, Alpha_context.Script_int.n Alpha_context.Script_int.num * 'rest) instr
| Empty_map : 'a comparable_ty * 'v ty -> ('rest, ('a, 'v) map * 'rest) instr
| Map_map : (('a * 'v) * 'rest, 'r * 'rest) descr -> (('a, 'v) map * 'rest, ('a, 'r) map * 'rest) instr
| Map_iter : (('a * 'v) * 'rest, 'rest) descr -> (('a, 'v) map * 'rest, 'rest) instr
| Map_mem : ('a * (('a, 'v) map * 'rest), bool * 'rest) instr
| Map_get : ('a * (('a, 'v) map * 'rest), 'v option * 'rest) instr
| Map_update : ('a * ('v option * (('a, 'v) map * 'rest)), ('a, 'v) map * 'rest) instr
| Map_size : (('a, 'b) map * 'rest, Alpha_context.Script_int.n Alpha_context.Script_int.num * 'rest) instr
| Big_map_mem : ('a * (('a, 'v) big_map * 'rest), bool * 'rest) instr
| Big_map_get : ('a * (('a, 'v) big_map * 'rest), 'v option * 'rest) instr
| Big_map_update : ('key * ('value option * (('key, 'value) big_map * 'rest)), ('key, 'value) big_map * 'rest) instr
| Concat_string : (string list * 'rest, string * 'rest) instr
| Concat_string_pair : (string * (string * 'rest), string * 'rest) instr
| Slice_string : (Alpha_context.Script_int.n Alpha_context.Script_int.num * (Alpha_context.Script_int.n Alpha_context.Script_int.num * (string * 'rest)), string option * 'rest) instr
| String_size : (string * 'rest, Alpha_context.Script_int.n Alpha_context.Script_int.num * 'rest) instr
| Concat_bytes : (Tezos_protocol_environment_004_Pt24m4xi.MBytes.t list * 'rest, Tezos_protocol_environment_004_Pt24m4xi.MBytes.t * 'rest) instr
| Concat_bytes_pair : (Tezos_protocol_environment_004_Pt24m4xi.MBytes.t * (Tezos_protocol_environment_004_Pt24m4xi.MBytes.t * 'rest), Tezos_protocol_environment_004_Pt24m4xi.MBytes.t * 'rest) instr
| Slice_bytes : (Alpha_context.Script_int.n Alpha_context.Script_int.num * (Alpha_context.Script_int.n Alpha_context.Script_int.num * (Tezos_protocol_environment_004_Pt24m4xi.MBytes.t * 'rest)), Tezos_protocol_environment_004_Pt24m4xi.MBytes.t option * 'rest) instr
| Bytes_size : (Tezos_protocol_environment_004_Pt24m4xi.MBytes.t * 'rest, Alpha_context.Script_int.n Alpha_context.Script_int.num * 'rest) instr
| Add_seconds_to_timestamp : (Alpha_context.Script_int.z Alpha_context.Script_int.num * (Alpha_context.Script_timestamp.t * 'rest), Alpha_context.Script_timestamp.t * 'rest) instr
| Add_timestamp_to_seconds : (Alpha_context.Script_timestamp.t * (Alpha_context.Script_int.z Alpha_context.Script_int.num * 'rest), Alpha_context.Script_timestamp.t * 'rest) instr
| Sub_timestamp_seconds : (Alpha_context.Script_timestamp.t * (Alpha_context.Script_int.z Alpha_context.Script_int.num * 'rest), Alpha_context.Script_timestamp.t * 'rest) instr
| Diff_timestamps : (Alpha_context.Script_timestamp.t * (Alpha_context.Script_timestamp.t * 'rest), Alpha_context.Script_int.z Alpha_context.Script_int.num * 'rest) instr
| Add_tez : (Alpha_context.Tez.t * (Alpha_context.Tez.t * 'rest), Alpha_context.Tez.t * 'rest) instr
| Sub_tez : (Alpha_context.Tez.t * (Alpha_context.Tez.t * 'rest), Alpha_context.Tez.t * 'rest) instr
| Mul_teznat : (Alpha_context.Tez.t * (Alpha_context.Script_int.n Alpha_context.Script_int.num * 'rest), Alpha_context.Tez.t * 'rest) instr
| Mul_nattez : (Alpha_context.Script_int.n Alpha_context.Script_int.num * (Alpha_context.Tez.t * 'rest), Alpha_context.Tez.t * 'rest) instr
| Ediv_teznat : (Alpha_context.Tez.t * (Alpha_context.Script_int.n Alpha_context.Script_int.num * 'rest), (Alpha_context.Tez.t, Alpha_context.Tez.t) pair option * 'rest) instr
| Ediv_tez : (Alpha_context.Tez.t * (Alpha_context.Tez.t * 'rest), (Alpha_context.Script_int.n Alpha_context.Script_int.num, Alpha_context.Tez.t) pair option * 'rest) instr
| Or : (bool * (bool * 'rest), bool * 'rest) instr
| And : (bool * (bool * 'rest), bool * 'rest) instr
| Xor : (bool * (bool * 'rest), bool * 'rest) instr
| Not : (bool * 'rest, bool * 'rest) instr
| Is_nat : (Alpha_context.Script_int.z Alpha_context.Script_int.num * 'rest, Alpha_context.Script_int.n Alpha_context.Script_int.num option * 'rest) instr
| Neg_nat : (Alpha_context.Script_int.n Alpha_context.Script_int.num * 'rest, Alpha_context.Script_int.z Alpha_context.Script_int.num * 'rest) instr
| Neg_int : (Alpha_context.Script_int.z Alpha_context.Script_int.num * 'rest, Alpha_context.Script_int.z Alpha_context.Script_int.num * 'rest) instr
| Abs_int : (Alpha_context.Script_int.z Alpha_context.Script_int.num * 'rest, Alpha_context.Script_int.n Alpha_context.Script_int.num * 'rest) instr
| Int_nat : (Alpha_context.Script_int.n Alpha_context.Script_int.num * 'rest, Alpha_context.Script_int.z Alpha_context.Script_int.num * 'rest) instr
| Add_intint : (Alpha_context.Script_int.z Alpha_context.Script_int.num * (Alpha_context.Script_int.z Alpha_context.Script_int.num * 'rest), Alpha_context.Script_int.z Alpha_context.Script_int.num * 'rest) instr
| Add_intnat : (Alpha_context.Script_int.z Alpha_context.Script_int.num * (Alpha_context.Script_int.n Alpha_context.Script_int.num * 'rest), Alpha_context.Script_int.z Alpha_context.Script_int.num * 'rest) instr
| Add_natint : (Alpha_context.Script_int.n Alpha_context.Script_int.num * (Alpha_context.Script_int.z Alpha_context.Script_int.num * 'rest), Alpha_context.Script_int.z Alpha_context.Script_int.num * 'rest) instr
| Add_natnat : (Alpha_context.Script_int.n Alpha_context.Script_int.num * (Alpha_context.Script_int.n Alpha_context.Script_int.num * 'rest), Alpha_context.Script_int.n Alpha_context.Script_int.num * 'rest) instr
| Sub_int : ('s Alpha_context.Script_int.num * ('t Alpha_context.Script_int.num * 'rest), Alpha_context.Script_int.z Alpha_context.Script_int.num * 'rest) instr
| Mul_intint : (Alpha_context.Script_int.z Alpha_context.Script_int.num * (Alpha_context.Script_int.z Alpha_context.Script_int.num * 'rest), Alpha_context.Script_int.z Alpha_context.Script_int.num * 'rest) instr
| Mul_intnat : (Alpha_context.Script_int.z Alpha_context.Script_int.num * (Alpha_context.Script_int.n Alpha_context.Script_int.num * 'rest), Alpha_context.Script_int.z Alpha_context.Script_int.num * 'rest) instr
| Mul_natint : (Alpha_context.Script_int.n Alpha_context.Script_int.num * (Alpha_context.Script_int.z Alpha_context.Script_int.num * 'rest), Alpha_context.Script_int.z Alpha_context.Script_int.num * 'rest) instr
| Mul_natnat : (Alpha_context.Script_int.n Alpha_context.Script_int.num * (Alpha_context.Script_int.n Alpha_context.Script_int.num * 'rest), Alpha_context.Script_int.n Alpha_context.Script_int.num * 'rest) instr
| Ediv_intint : (Alpha_context.Script_int.z Alpha_context.Script_int.num * (Alpha_context.Script_int.z Alpha_context.Script_int.num * 'rest), (Alpha_context.Script_int.z Alpha_context.Script_int.num, Alpha_context.Script_int.n Alpha_context.Script_int.num) pair option * 'rest) instr
| Ediv_intnat : (Alpha_context.Script_int.z Alpha_context.Script_int.num * (Alpha_context.Script_int.n Alpha_context.Script_int.num * 'rest), (Alpha_context.Script_int.z Alpha_context.Script_int.num, Alpha_context.Script_int.n Alpha_context.Script_int.num) pair option * 'rest) instr
| Ediv_natint : (Alpha_context.Script_int.n Alpha_context.Script_int.num * (Alpha_context.Script_int.z Alpha_context.Script_int.num * 'rest), (Alpha_context.Script_int.z Alpha_context.Script_int.num, Alpha_context.Script_int.n Alpha_context.Script_int.num) pair option * 'rest) instr
| Ediv_natnat : (Alpha_context.Script_int.n Alpha_context.Script_int.num * (Alpha_context.Script_int.n Alpha_context.Script_int.num * 'rest), (Alpha_context.Script_int.n Alpha_context.Script_int.num, Alpha_context.Script_int.n Alpha_context.Script_int.num) pair option * 'rest) instr
| Lsl_nat : (Alpha_context.Script_int.n Alpha_context.Script_int.num * (Alpha_context.Script_int.n Alpha_context.Script_int.num * 'rest), Alpha_context.Script_int.n Alpha_context.Script_int.num * 'rest) instr
| Lsr_nat : (Alpha_context.Script_int.n Alpha_context.Script_int.num * (Alpha_context.Script_int.n Alpha_context.Script_int.num * 'rest), Alpha_context.Script_int.n Alpha_context.Script_int.num * 'rest) instr
| Or_nat : (Alpha_context.Script_int.n Alpha_context.Script_int.num * (Alpha_context.Script_int.n Alpha_context.Script_int.num * 'rest), Alpha_context.Script_int.n Alpha_context.Script_int.num * 'rest) instr
| And_nat : (Alpha_context.Script_int.n Alpha_context.Script_int.num * (Alpha_context.Script_int.n Alpha_context.Script_int.num * 'rest), Alpha_context.Script_int.n Alpha_context.Script_int.num * 'rest) instr
| And_int_nat : (Alpha_context.Script_int.z Alpha_context.Script_int.num * (Alpha_context.Script_int.n Alpha_context.Script_int.num * 'rest), Alpha_context.Script_int.n Alpha_context.Script_int.num * 'rest) instr
| Xor_nat : (Alpha_context.Script_int.n Alpha_context.Script_int.num * (Alpha_context.Script_int.n Alpha_context.Script_int.num * 'rest), Alpha_context.Script_int.n Alpha_context.Script_int.num * 'rest) instr
| Not_nat : (Alpha_context.Script_int.n Alpha_context.Script_int.num * 'rest, Alpha_context.Script_int.z Alpha_context.Script_int.num * 'rest) instr
| Not_int : (Alpha_context.Script_int.z Alpha_context.Script_int.num * 'rest, Alpha_context.Script_int.z Alpha_context.Script_int.num * 'rest) instr
| Seq : ('bef, 'trans) descr * ('trans, 'aft) descr -> ('bef, 'aft) instr
| If : ('bef, 'aft) descr * ('bef, 'aft) descr -> (bool * 'bef, 'aft) instr
| Loop : ('rest, bool * 'rest) descr -> (bool * 'rest, 'rest) instr
| Loop_left : ('a * 'rest, ('a, 'b) union * 'rest) descr -> (('a, 'b) union * 'rest, 'b * 'rest) instr
| Dip : ('bef, 'aft) descr -> ('top * 'bef, 'top * 'aft) instr
| Exec : ('arg * (('arg, 'ret) lambda * 'rest), 'ret * 'rest) instr
| Lambda : ('arg, 'ret) lambda -> ('rest, ('arg, 'ret) lambda * 'rest) instr
| Failwith : 'a ty -> ('a * 'rest, 'aft) instr
| Nop : ('rest, 'rest) instr
| Compare : 'a comparable_ty -> ('a * ('a * 'rest), Alpha_context.Script_int.z Alpha_context.Script_int.num * 'rest) instr
| Eq : (Alpha_context.Script_int.z Alpha_context.Script_int.num * 'rest, bool * 'rest) instr
| Neq : (Alpha_context.Script_int.z Alpha_context.Script_int.num * 'rest, bool * 'rest) instr
| Lt : (Alpha_context.Script_int.z Alpha_context.Script_int.num * 'rest, bool * 'rest) instr
| Gt : (Alpha_context.Script_int.z Alpha_context.Script_int.num * 'rest, bool * 'rest) instr
| Le : (Alpha_context.Script_int.z Alpha_context.Script_int.num * 'rest, bool * 'rest) instr
| Ge : (Alpha_context.Script_int.z Alpha_context.Script_int.num * 'rest, bool * 'rest) instr
| Address : (_ typed_contract * 'rest, Alpha_context.Contract.t * 'rest) instr
| Contract : 'p ty -> (Alpha_context.Contract.t * 'rest, 'p typed_contract option * 'rest) instr
| Transfer_tokens : ('arg * (Alpha_context.Tez.t * ('arg typed_contract * 'rest)), Alpha_context.packed_internal_operation * 'rest) instr
| Create_account : (Alpha_context.public_key_hash * (Alpha_context.public_key_hash option * (bool * (Alpha_context.Tez.t * 'rest))), Alpha_context.packed_internal_operation * (Alpha_context.Contract.t * 'rest)) instr
| Implicit_account : (Alpha_context.public_key_hash * 'rest, unit typed_contract * 'rest) instr
| Create_contract : 'g ty * 'p ty * ('p * 'g, Alpha_context.packed_internal_operation list * 'g) lambda -> (Alpha_context.public_key_hash * (Alpha_context.public_key_hash option * (bool * (bool * (Alpha_context.Tez.t * ('g * 'rest))))), Alpha_context.packed_internal_operation * (Alpha_context.Contract.t * 'rest)) instr
| Set_delegate : (Alpha_context.public_key_hash option * 'rest, Alpha_context.packed_internal_operation * 'rest) instr
| Now : ('rest, Alpha_context.Script_timestamp.t * 'rest) instr
| Balance : ('rest, Alpha_context.Tez.t * 'rest) instr
| Check_signature : (Alpha_context.public_key * (Alpha_context.signature * (Tezos_protocol_environment_004_Pt24m4xi.MBytes.t * 'rest)), bool * 'rest) instr
| Hash_key : (Alpha_context.public_key * 'rest, Alpha_context.public_key_hash * 'rest) instr
| Pack : 'a ty -> ('a * 'rest, Tezos_protocol_environment_004_Pt24m4xi.MBytes.t * 'rest) instr
| Unpack : 'a ty -> (Tezos_protocol_environment_004_Pt24m4xi.MBytes.t * 'rest, 'a option * 'rest) instr
| Blake2b : (Tezos_protocol_environment_004_Pt24m4xi.MBytes.t * 'rest, Tezos_protocol_environment_004_Pt24m4xi.MBytes.t * 'rest) instr
| Sha256 : (Tezos_protocol_environment_004_Pt24m4xi.MBytes.t * 'rest, Tezos_protocol_environment_004_Pt24m4xi.MBytes.t * 'rest) instr
| Sha512 : (Tezos_protocol_environment_004_Pt24m4xi.MBytes.t * 'rest, Tezos_protocol_environment_004_Pt24m4xi.MBytes.t * 'rest) instr
| Steps_to_quota : ('rest, Alpha_context.Script_int.n Alpha_context.Script_int.num * 'rest) instr
| Source : ('rest, Alpha_context.Contract.t * 'rest) instr
| Sender : ('rest, Alpha_context.Contract.t * 'rest) instr
| Self : 'p ty -> ('rest, 'p typed_contract * 'rest) instr
| Amount : ('rest, Alpha_context.Tez.t * 'rest) instr

and ('bef, 'aft) descr = {

loc : Alpha_context.Script.location;
bef : 'bef stack_ty;
aft : 'aft stack_ty;
instr : ('bef, 'aft) instr;

}

type ex_big_map =

| Ex_bm : ('key, 'value) big_map -> ex_big_map

package tezos-protocol-004-Pt24m4xi