package tezos-protocol-003-PsddFKi3

  1. Overview
  2. Docs
Tezos protocol 003-PsddFKi3 package

Install 

dune-project
 Dependency

www.tezos.com Readme Edit opam file Versions (8)

Authors

  1. T
    Tezos devteam

Maintainers

  1. C
    contact@tezos.com

Sources

tezos-18.0.tar.gz
sha256=dbc3b675aee59c2c574e5d0a771193a2ecfca31e7a5bc5aed66598080596ce1c
sha512=b97ed762b9d24744305c358af0d20f394376b64bfdd758dd4a81775326caf445caa57c4f6445da3dd6468ff492de18e4c14af6f374dfcbb7e4d64b7b720e5e2a

doc/tezos_raw_protocol_003_PsddFKi3/Tezos_raw_protocol_003_PsddFKi3/Script_typed_ir/index.html

Module Tezos_raw_protocol_003_PsddFKi3.Script_typed_irSource

Sourcetype var_annot = [
  1. | `Var_annot of string
]
Sourcetype type_annot = [
  1. | `Type_annot of string
]
Sourcetype field_annot = [
  1. | `Field_annot of string
]
Sourcemodule type Boxed_set = sig ... end
Sourcetype 'elt set = (module Boxed_set with type elt = 'elt)
Sourcemodule type Boxed_map = sig ... end
Sourcetype ('key, 'value) map = (module Boxed_map with type key = 'key and type value = 'value)
Sourcetype ('arg, 'storage) script = {
  1. code : (('arg, 'storage) pair, (Alpha_context.packed_internal_operation list, 'storage) pair) lambda;
  2. arg_type : 'arg ty;
  3. storage : 'storage;
  4. storage_type : 'storage ty;
}
Sourceand ('a, 'b) pair = 'a * 'b
Sourceand ('a, 'b) union =
  1. | L of 'a
  2. | R of 'b
Sourceand end_of_stack = unit
Sourceand ('arg, 'ret) lambda =
  1. | Lam of ('arg * end_of_stack, 'ret * end_of_stack) descr * Alpha_context.Script.expr
Sourceand 'arg typed_contract = 'arg ty * Alpha_context.Contract.t
Sourceand 'ty ty =
  1. | Unit_t : type_annot option -> unit ty
  2. | Int_t : type_annot option -> Alpha_context.Script_int.z Alpha_context.Script_int.num ty
  3. | Nat_t : type_annot option -> Alpha_context.Script_int.n Alpha_context.Script_int.num ty
  4. | Signature_t : type_annot option -> Alpha_context.signature ty
  5. | String_t : type_annot option -> string ty
  6. | Bytes_t : type_annot option -> Tezos_protocol_environment_003_PsddFKi3.MBytes.t ty
  7. | Mutez_t : type_annot option -> Alpha_context.Tez.t ty
  8. | Key_hash_t : type_annot option -> Alpha_context.public_key_hash ty
  9. | Key_t : type_annot option -> Alpha_context.public_key ty
  10. | Timestamp_t : type_annot option -> Alpha_context.Script_timestamp.t ty
  11. | Address_t : type_annot option -> Alpha_context.Contract.t ty
  12. | Bool_t : type_annot option -> bool ty
  13. | 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
  14. | Union_t : ('a ty * field_annot option) * ('b ty * field_annot option) * type_annot option -> ('a, 'b) union ty
  15. | Lambda_t : 'arg ty * 'ret ty * type_annot option -> ('arg, 'ret) lambda ty
  16. | Option_t : ('v ty * field_annot option) * field_annot option * type_annot option -> 'v option ty
  17. | List_t : 'v ty * type_annot option -> 'v list ty
  18. | Set_t : 'v comparable_ty * type_annot option -> 'v set ty
  19. | Map_t : 'k comparable_ty * 'v ty * type_annot option -> ('k, 'v) map ty
  20. | Big_map_t : 'k comparable_ty * 'v ty * type_annot option -> ('k, 'v) big_map ty
  21. | Contract_t : 'arg ty * type_annot option -> 'arg typed_contract ty
  22. | Operation_t : type_annot option -> Alpha_context.packed_internal_operation ty
Sourceand 'ty stack_ty =
  1. | Item_t : 'ty ty * 'rest stack_ty * var_annot option -> ('ty * 'rest) stack_ty
  2. | Empty_t : end_of_stack stack_ty
Sourceand ('key, 'value) big_map = {
  1. diff : ('key, 'value option) map;
  2. key_type : 'key ty;
  3. value_type : 'value ty;
}
Sourceand ('bef, 'aft) instr =
  1. | Drop : (_ * 'rest, 'rest) instr
  2. | Dup : ('top * 'rest, 'top * ('top * 'rest)) instr
  3. | Swap : ('tip * ('top * 'rest), 'top * ('tip * 'rest)) instr
  4. | Const : 'ty -> ('rest, 'ty * 'rest) instr
  5. | Cons_pair : ('car * ('cdr * 'rest), ('car, 'cdr) pair * 'rest) instr
  6. | Car : (('car, _) pair * 'rest, 'car * 'rest) instr
  7. | Cdr : ((_, 'cdr) pair * 'rest, 'cdr * 'rest) instr
  8. | Cons_some : ('v * 'rest, 'v option * 'rest) instr
  9. | Cons_none : 'a ty -> ('rest, 'a option * 'rest) instr
  10. | If_none : ('bef, 'aft) descr * ('a * 'bef, 'aft) descr -> ('a option * 'bef, 'aft) instr
  11. | Left : ('l * 'rest, ('l, 'r) union * 'rest) instr
  12. | Right : ('r * 'rest, ('l, 'r) union * 'rest) instr
  13. | If_left : ('l * 'bef, 'aft) descr * ('r * 'bef, 'aft) descr -> (('l, 'r) union * 'bef, 'aft) instr
  14. | Cons_list : ('a * ('a list * 'rest), 'a list * 'rest) instr
  15. | Nil : ('rest, 'a list * 'rest) instr
  16. | If_cons : ('a * ('a list * 'bef), 'aft) descr * ('bef, 'aft) descr -> ('a list * 'bef, 'aft) instr
  17. | List_map : ('a * 'rest, 'b * 'rest) descr -> ('a list * 'rest, 'b list * 'rest) instr
  18. | List_iter : ('a * 'rest, 'rest) descr -> ('a list * 'rest, 'rest) instr
  19. | List_size : ('a list * 'rest, Alpha_context.Script_int.n Alpha_context.Script_int.num * 'rest) instr
  20. | Empty_set : 'a comparable_ty -> ('rest, 'a set * 'rest) instr
  21. | Set_iter : ('a * 'rest, 'rest) descr -> ('a set * 'rest, 'rest) instr
  22. | Set_mem : ('elt * ('elt set * 'rest), bool * 'rest) instr
  23. | Set_update : ('elt * (bool * ('elt set * 'rest)), 'elt set * 'rest) instr
  24. | Set_size : ('a set * 'rest, Alpha_context.Script_int.n Alpha_context.Script_int.num * 'rest) instr
  25. | Empty_map : 'a comparable_ty * 'v ty -> ('rest, ('a, 'v) map * 'rest) instr
  26. | Map_map : (('a * 'v) * 'rest, 'r * 'rest) descr -> (('a, 'v) map * 'rest, ('a, 'r) map * 'rest) instr
  27. | Map_iter : (('a * 'v) * 'rest, 'rest) descr -> (('a, 'v) map * 'rest, 'rest) instr
  28. | Map_mem : ('a * (('a, 'v) map * 'rest), bool * 'rest) instr
  29. | Map_get : ('a * (('a, 'v) map * 'rest), 'v option * 'rest) instr
  30. | Map_update : ('a * ('v option * (('a, 'v) map * 'rest)), ('a, 'v) map * 'rest) instr
  31. | Map_size : (('a, 'b) map * 'rest, Alpha_context.Script_int.n Alpha_context.Script_int.num * 'rest) instr
  32. | Big_map_mem : ('a * (('a, 'v) big_map * 'rest), bool * 'rest) instr
  33. | Big_map_get : ('a * (('a, 'v) big_map * 'rest), 'v option * 'rest) instr
  34. | Big_map_update : ('key * ('value option * (('key, 'value) big_map * 'rest)), ('key, 'value) big_map * 'rest) instr
  35. | Concat_string : (string list * 'rest, string * 'rest) instr
  36. | Concat_string_pair : (string * (string * 'rest), string * 'rest) instr
  37. | 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
  38. | String_size : (string * 'rest, Alpha_context.Script_int.n Alpha_context.Script_int.num * 'rest) instr
  39. | Concat_bytes : (Tezos_protocol_environment_003_PsddFKi3.MBytes.t list * 'rest, Tezos_protocol_environment_003_PsddFKi3.MBytes.t * 'rest) instr
  40. | Concat_bytes_pair : (Tezos_protocol_environment_003_PsddFKi3.MBytes.t * (Tezos_protocol_environment_003_PsddFKi3.MBytes.t * 'rest), Tezos_protocol_environment_003_PsddFKi3.MBytes.t * 'rest) instr
  41. | 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_003_PsddFKi3.MBytes.t * 'rest)), Tezos_protocol_environment_003_PsddFKi3.MBytes.t option * 'rest) instr
  42. | Bytes_size : (Tezos_protocol_environment_003_PsddFKi3.MBytes.t * 'rest, Alpha_context.Script_int.n Alpha_context.Script_int.num * 'rest) instr
  43. | 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
  44. | 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
  45. | 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
  46. | 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
  47. | Add_tez : (Alpha_context.Tez.t * (Alpha_context.Tez.t * 'rest), Alpha_context.Tez.t * 'rest) instr
  48. | Sub_tez : (Alpha_context.Tez.t * (Alpha_context.Tez.t * 'rest), Alpha_context.Tez.t * 'rest) instr
  49. | Mul_teznat : (Alpha_context.Tez.t * (Alpha_context.Script_int.n Alpha_context.Script_int.num * 'rest), Alpha_context.Tez.t * 'rest) instr
  50. | Mul_nattez : (Alpha_context.Script_int.n Alpha_context.Script_int.num * (Alpha_context.Tez.t * 'rest), Alpha_context.Tez.t * 'rest) instr
  51. | 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
  52. | 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
  53. | Or : (bool * (bool * 'rest), bool * 'rest) instr
  54. | And : (bool * (bool * 'rest), bool * 'rest) instr
  55. | Xor : (bool * (bool * 'rest), bool * 'rest) instr
  56. | Not : (bool * 'rest, bool * 'rest) instr
  57. | 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
  58. | 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
  59. | 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
  60. | 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
  61. | 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
  62. | 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
  63. | 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
  64. | 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
  65. | 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
  66. | 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
  67. | 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
  68. | 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
  69. | 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
  70. | 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
  71. | 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
  72. | 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
  73. | 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
  74. | 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
  75. | 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
  76. | 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
  77. | 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
  78. | 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
  79. | 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
  80. | 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
  81. | 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
  82. | 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
  83. | Seq : ('bef, 'trans) descr * ('trans, 'aft) descr -> ('bef, 'aft) instr
  84. | If : ('bef, 'aft) descr * ('bef, 'aft) descr -> (bool * 'bef, 'aft) instr
  85. | Loop : ('rest, bool * 'rest) descr -> (bool * 'rest, 'rest) instr
  86. | Loop_left : ('a * 'rest, ('a, 'b) union * 'rest) descr -> (('a, 'b) union * 'rest, 'b * 'rest) instr
  87. | Dip : ('bef, 'aft) descr -> ('top * 'bef, 'top * 'aft) instr
  88. | Exec : ('arg * (('arg, 'ret) lambda * 'rest), 'ret * 'rest) instr
  89. | Lambda : ('arg, 'ret) lambda -> ('rest, ('arg, 'ret) lambda * 'rest) instr
  90. | Failwith : 'a ty -> ('a * 'rest, 'aft) instr
  91. | Nop : ('rest, 'rest) instr
  92. | Compare : 'a comparable_ty -> ('a * ('a * 'rest), Alpha_context.Script_int.z Alpha_context.Script_int.num * 'rest) instr
  93. | Eq : (Alpha_context.Script_int.z Alpha_context.Script_int.num * 'rest, bool * 'rest) instr
  94. | Neq : (Alpha_context.Script_int.z Alpha_context.Script_int.num * 'rest, bool * 'rest) instr
  95. | Lt : (Alpha_context.Script_int.z Alpha_context.Script_int.num * 'rest, bool * 'rest) instr
  96. | Gt : (Alpha_context.Script_int.z Alpha_context.Script_int.num * 'rest, bool * 'rest) instr
  97. | Le : (Alpha_context.Script_int.z Alpha_context.Script_int.num * 'rest, bool * 'rest) instr
  98. | Ge : (Alpha_context.Script_int.z Alpha_context.Script_int.num * 'rest, bool * 'rest) instr
  99. | Address : (_ typed_contract * 'rest, Alpha_context.Contract.t * 'rest) instr
  100. | Contract : 'p ty -> (Alpha_context.Contract.t * 'rest, 'p typed_contract option * 'rest) instr
  101. | Transfer_tokens : ('arg * (Alpha_context.Tez.t * ('arg typed_contract * 'rest)), Alpha_context.packed_internal_operation * 'rest) instr
  102. | 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
  103. | Implicit_account : (Alpha_context.public_key_hash * 'rest, unit typed_contract * 'rest) instr
  104. | 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
  105. | Set_delegate : (Alpha_context.public_key_hash option * 'rest, Alpha_context.packed_internal_operation * 'rest) instr
  106. | Now : ('rest, Alpha_context.Script_timestamp.t * 'rest) instr
  107. | Balance : ('rest, Alpha_context.Tez.t * 'rest) instr
  108. | Check_signature : (Alpha_context.public_key * (Alpha_context.signature * (Tezos_protocol_environment_003_PsddFKi3.MBytes.t * 'rest)), bool * 'rest) instr
  109. | Hash_key : (Alpha_context.public_key * 'rest, Alpha_context.public_key_hash * 'rest) instr
  110. | Pack : 'a ty -> ('a * 'rest, Tezos_protocol_environment_003_PsddFKi3.MBytes.t * 'rest) instr
  111. | Unpack : 'a ty -> (Tezos_protocol_environment_003_PsddFKi3.MBytes.t * 'rest, 'a option * 'rest) instr
  112. | Blake2b : (Tezos_protocol_environment_003_PsddFKi3.MBytes.t * 'rest, Tezos_protocol_environment_003_PsddFKi3.MBytes.t * 'rest) instr
  113. | Sha256 : (Tezos_protocol_environment_003_PsddFKi3.MBytes.t * 'rest, Tezos_protocol_environment_003_PsddFKi3.MBytes.t * 'rest) instr
  114. | Sha512 : (Tezos_protocol_environment_003_PsddFKi3.MBytes.t * 'rest, Tezos_protocol_environment_003_PsddFKi3.MBytes.t * 'rest) instr
  115. | Steps_to_quota : ('rest, Alpha_context.Script_int.n Alpha_context.Script_int.num * 'rest) instr
  116. | Source : ('rest, Alpha_context.Contract.t * 'rest) instr
  117. | Sender : ('rest, Alpha_context.Contract.t * 'rest) instr
  118. | Self : 'p ty -> ('rest, 'p typed_contract * 'rest) instr
  119. | Amount : ('rest, Alpha_context.Tez.t * 'rest) instr
Sourceand ('bef, 'aft) descr = {
  1. loc : Alpha_context.Script.location;
  2. bef : 'bef stack_ty;
  3. aft : 'aft stack_ty;
  4. instr : ('bef, 'aft) instr;
}
Sourcetype ex_big_map =
  1. | Ex_bm : ('key, 'value) big_map -> ex_big_map