package archetype

  1. Overview
  2. Docs
package archetype
Legend:
Library
Module
Module type
Parameter
Class
Class type
val pp_lident : Ppx_deriving_runtime.Format.formatter -> lident -> Ppx_deriving_runtime.unit
val show_lident : lident -> Ppx_deriving_runtime.string
type namespace = lident option
val pp_namespace : Ppx_deriving_runtime.Format.formatter -> namespace -> Ppx_deriving_runtime.unit
val show_namespace : namespace -> Ppx_deriving_runtime.string
type path = namespace * lident
val pp_path : Ppx_deriving_runtime.Format.formatter -> path -> Ppx_deriving_runtime.unit
type mident = path
val pp_mident : Ppx_deriving_runtime.Format.formatter -> mident -> Ppx_deriving_runtime.unit
val show_mident : mident -> Ppx_deriving_runtime.string
type container =
  1. | Collection
  2. | Aggregate
  3. | Partition
  4. | AssetContainer
  5. | AssetKey
  6. | AssetValue
  7. | View
val pp_container : Ppx_deriving_runtime.Format.formatter -> container -> Ppx_deriving_runtime.unit
val show_container : container -> Ppx_deriving_runtime.string
type btyp =
  1. | Bunit
  2. | Bbool
  3. | Bint
  4. | Brational
  5. | Bdate
  6. | Bduration
  7. | Btimestamp
  8. | Bstring
  9. | Baddress
  10. | Btez
  11. | Bsignature
  12. | Bkey
  13. | Bkeyhash
  14. | Bbytes
  15. | Bnat
  16. | Bchainid
  17. | Bbls12_381_fr
  18. | Bbls12_381_g1
  19. | Bbls12_381_g2
  20. | Bnever
  21. | Bchest
  22. | Bchest_key
val pp_btyp : Ppx_deriving_runtime.Format.formatter -> btyp -> Ppx_deriving_runtime.unit
type ntype =
  1. | Tasset of mident
  2. | Tenum of mident
  3. | Tstate
  4. | Tbuiltin of btyp
  5. | Tcontainer of type_ * container
  6. | Tlist of type_
  7. | Toption of type_
  8. | Ttuple of type_ list
  9. | Tset of type_
  10. | Tmap of type_ * type_
  11. | Tbig_map of type_ * type_
  12. | Titerable_big_map of type_ * type_
  13. | Tor of type_ * type_
  14. | Trecord of mident
  15. | Tevent of mident
  16. | Tlambda of type_ * type_
  17. | Tunit
  18. | Toperation
  19. | Tcontract of type_
  20. | Tticket of type_
  21. | Tsapling_state of int
  22. | Tsapling_transaction of int
and type_ = ntype * lident option
val pp_ntype : Ppx_deriving_runtime.Format.formatter -> ntype -> Ppx_deriving_runtime.unit
val pp_type_ : Ppx_deriving_runtime.Format.formatter -> type_ -> Ppx_deriving_runtime.unit
val show_type_ : type_ -> Ppx_deriving_runtime.string
type pattern_node =
  1. | Pwild
  2. | Pconst of mident * lident list
val pp_pattern_node : Ppx_deriving_runtime.Format.formatter -> pattern_node -> Ppx_deriving_runtime.unit
val show_pattern_node : pattern_node -> Ppx_deriving_runtime.string
type pattern = {
  1. node : pattern_node;
  2. loc : Location.t;
}
val pp_pattern : Ppx_deriving_runtime.Format.formatter -> pattern -> Ppx_deriving_runtime.unit
val show_pattern : pattern -> Ppx_deriving_runtime.string
type for_ident =
  1. | FIsimple of mident
  2. | FIdouble of mident * mident
val pp_for_ident : Ppx_deriving_runtime.Format.formatter -> for_ident -> Ppx_deriving_runtime.unit
val show_for_ident : for_ident -> Ppx_deriving_runtime.string
type comparison_operator =
  1. | Gt
  2. | Ge
  3. | Lt
  4. | Le
val pp_comparison_operator : Ppx_deriving_runtime.Format.formatter -> comparison_operator -> Ppx_deriving_runtime.unit
val show_comparison_operator : comparison_operator -> Ppx_deriving_runtime.string
type rat_arith_op =
  1. | Rplus
  2. | Rminus
  3. | Rmult
  4. | Rdiv
val pp_rat_arith_op : Ppx_deriving_runtime.Format.formatter -> rat_arith_op -> Ppx_deriving_runtime.unit
val show_rat_arith_op : rat_arith_op -> Ppx_deriving_runtime.string
type assignment_operator =
  1. | ValueAssign
  2. | PlusAssign
  3. | MinusAssign
  4. | MultAssign
  5. | DivAssign
  6. | AndAssign
  7. | OrAssign
val pp_assignment_operator : Ppx_deriving_runtime.Format.formatter -> assignment_operator -> Ppx_deriving_runtime.unit
val show_assignment_operator : assignment_operator -> Ppx_deriving_runtime.string
type sort_kind =
  1. | SKasc
  2. | SKdesc
val pp_sort_kind : Ppx_deriving_runtime.Format.formatter -> sort_kind -> Ppx_deriving_runtime.unit
val show_sort_kind : sort_kind -> Ppx_deriving_runtime.string
type 'term assign_kind_gen =
  1. | Avar of mident
  2. | Avarstore of mident
  3. | Aasset of mident * mident * 'term
  4. | Arecord of 'term * mident * mident
  5. | Atuple of 'term * int * int
  6. | Astate
  7. | Aoperations
val pp_assign_kind_gen : 'term. (Ppx_deriving_runtime.Format.formatter -> 'term -> Ppx_deriving_runtime.unit) -> Ppx_deriving_runtime.Format.formatter -> 'term assign_kind_gen -> Ppx_deriving_runtime.unit
val show_assign_kind_gen : 'term. (Ppx_deriving_runtime.Format.formatter -> 'term -> Ppx_deriving_runtime.unit) -> 'term assign_kind_gen -> Ppx_deriving_runtime.string
type 'term var_kind_gen =
  1. | Vassetstate of 'term
  2. | Vstorevar
  3. | Vstorecol
  4. | Vlocal
  5. | Vparam
  6. | Vfield
  7. | Vstate
  8. | Vthe
  9. | Vparameter
val pp_var_kind_gen : 'term. (Ppx_deriving_runtime.Format.formatter -> 'term -> Ppx_deriving_runtime.unit) -> Ppx_deriving_runtime.Format.formatter -> 'term var_kind_gen -> Ppx_deriving_runtime.unit
val show_var_kind_gen : 'term. (Ppx_deriving_runtime.Format.formatter -> 'term -> Ppx_deriving_runtime.unit) -> 'term var_kind_gen -> Ppx_deriving_runtime.string
type 'term container_kind_gen =
  1. | CKcoll
  2. | CKview of 'term
  3. | CKfield of Ident.ident * Ident.ident * 'term
val pp_container_kind_gen : 'term. (Ppx_deriving_runtime.Format.formatter -> 'term -> Ppx_deriving_runtime.unit) -> Ppx_deriving_runtime.Format.formatter -> 'term container_kind_gen -> Ppx_deriving_runtime.unit
val show_container_kind_gen : 'term. (Ppx_deriving_runtime.Format.formatter -> 'term -> Ppx_deriving_runtime.unit) -> 'term container_kind_gen -> Ppx_deriving_runtime.string
type 'term iter_container_kind_gen =
  1. | ICKcoll of Ident.ident
  2. | ICKview of 'term
  3. | ICKfield of Ident.ident * Ident.ident * 'term
  4. | ICKset of 'term
  5. | ICKlist of 'term
  6. | ICKmap of 'term
val pp_iter_container_kind_gen : 'term. (Ppx_deriving_runtime.Format.formatter -> 'term -> Ppx_deriving_runtime.unit) -> Ppx_deriving_runtime.Format.formatter -> 'term iter_container_kind_gen -> Ppx_deriving_runtime.unit
val show_iter_container_kind_gen : 'term. (Ppx_deriving_runtime.Format.formatter -> 'term -> Ppx_deriving_runtime.unit) -> 'term iter_container_kind_gen -> Ppx_deriving_runtime.string
type 'term transfer_kind_gen =
  1. | TKsimple of 'term * 'term
  2. | TKcall of 'term * Ident.ident * type_ * 'term * 'term
  3. | TKentry of 'term * 'term * 'term
  4. | TKgen of 'term * Ident.ident * Ident.ident * type_ * 'term * 'term
  5. | TKself of 'term * Ident.ident * (Ident.ident * 'term) list
  6. | TKoperation of 'term
val pp_transfer_kind_gen : 'term. (Ppx_deriving_runtime.Format.formatter -> 'term -> Ppx_deriving_runtime.unit) -> Ppx_deriving_runtime.Format.formatter -> 'term transfer_kind_gen -> Ppx_deriving_runtime.unit
val show_transfer_kind_gen : 'term. (Ppx_deriving_runtime.Format.formatter -> 'term -> Ppx_deriving_runtime.unit) -> 'term transfer_kind_gen -> Ppx_deriving_runtime.string
type map_kind =
  1. | MKMap
  2. | MKBigMap
  3. | MKIterableBigMap
val pp_map_kind : Ppx_deriving_runtime.Format.formatter -> map_kind -> Ppx_deriving_runtime.unit
val show_map_kind : map_kind -> Ppx_deriving_runtime.string
type michelson_struct = {
  1. ms_content : Michelson.obj_micheline;
}
val pp_michelson_struct : Ppx_deriving_runtime.Format.formatter -> michelson_struct -> Ppx_deriving_runtime.unit
val show_michelson_struct : michelson_struct -> Ppx_deriving_runtime.string
type 'term detach_kind_gen =
  1. | DK_option of type_ * Ident.ident
  2. | DK_map of type_ * Ident.ident * 'term
val pp_detach_kind_gen : 'term. (Ppx_deriving_runtime.Format.formatter -> 'term -> Ppx_deriving_runtime.unit) -> Ppx_deriving_runtime.Format.formatter -> 'term detach_kind_gen -> Ppx_deriving_runtime.unit
val show_detach_kind_gen : 'term. (Ppx_deriving_runtime.Format.formatter -> 'term -> Ppx_deriving_runtime.unit) -> 'term detach_kind_gen -> Ppx_deriving_runtime.string
type 'term letin_value_gen =
  1. | LVsimple of 'term
  2. | LVreplace of mident * 'term detach_kind_gen * 'term
val pp_letin_value_gen : 'term. (Ppx_deriving_runtime.Format.formatter -> 'term -> Ppx_deriving_runtime.unit) -> Ppx_deriving_runtime.Format.formatter -> 'term letin_value_gen -> Ppx_deriving_runtime.unit
val show_letin_value_gen : 'term. (Ppx_deriving_runtime.Format.formatter -> 'term -> Ppx_deriving_runtime.unit) -> 'term letin_value_gen -> Ppx_deriving_runtime.string
type 'term mterm_node =
  1. | Mletin of mident list * 'term letin_value_gen * type_ option * 'term * 'term option
  2. | Mdeclvar of mident list * type_ option * 'term * bool
  3. | Mdeclvaropt of mident list * type_ option * 'term * 'term option * bool
  4. | Mapp of mident * 'term list
  5. | Massign of assignment_operator * type_ * 'term assign_kind_gen * 'term
  6. | Massignopt of assignment_operator * type_ * 'term assign_kind_gen * 'term * 'term
  7. | Mif of 'term * 'term * 'term option
  8. | Mmatchwith of 'term * (pattern * 'term) list
  9. | Minstrmatchoption of 'term * mident list * 'term * 'term
  10. | Minstrmatchor of 'term * mident list * 'term * mident list * 'term
  11. | Minstrmatchlist of 'term * mident * mident * 'term * 'term
  12. | Minstrmatchdetach of 'term detach_kind_gen * mident * 'term * 'term
  13. | Mfor of for_ident * 'term iter_container_kind_gen * 'term
  14. | Miter of mident * 'term * 'term * 'term * bool
  15. | Mwhile of 'term * 'term
  16. | Mseq of 'term list
  17. | Mreturn of 'term
  18. | Mfail of fail_type
  19. | Mfailexpr of 'term
  20. | Mfailsome of 'term
  21. | Mdorequire of 'term * 'term
  22. | Mdofailif of 'term * 'term
  23. | Mtransfer of 'term transfer_kind_gen
  24. | Memit of mident * 'term
  25. | Msandboxexec of 'term * 'term * 'term
  26. | Mdetach of mident * 'term detach_kind_gen * type_ * 'term
  27. | Mmicheline of Michelson.obj_micheline
  28. | Mgetentrypoint of type_ * mident * 'term
  29. | Mcallview of type_ * 'term * mident * 'term
  30. | Mimportcallview of type_ * 'term * mident * 'term
  31. | Mself of mident
  32. | Mselfcallview of type_ * lident * 'term list
  33. | Mselfcontract of type_ * lident option
  34. | Moperations
  35. | Mmakeoperation of 'term * 'term * 'term
  36. | Mmakeevent of type_ * mident * 'term
  37. | Mmakesandboxexecoperation of 'term * 'term * 'term
  38. | Mcreatecontract of create_contract_type * 'term * 'term
  39. | Mint of Core.big_int
  40. | Mnat of Core.big_int
  41. | Mbool of bool
  42. | Mrational of Core.big_int * Core.big_int
  43. | Mstring of string
  44. | Mmutez of Core.big_int
  45. | Maddress of string
  46. | Mdate of Core.date
  47. | Mduration of Core.duration
  48. | Mtimestamp of Core.big_int
  49. | Mbytes of string
  50. | Mchain_id of string
  51. | Mkey of string
  52. | Mkey_hash of string
  53. | Msignature of string
  54. | Mbls12_381_fr of string
  55. | Mbls12_381_fr_n of Core.big_int
  56. | Mbls12_381_g1 of string
  57. | Mbls12_381_g2 of string
  58. | Munit
  59. | MsaplingStateEmpty of int
  60. | MsaplingTransaction of int * string
  61. | Mchest of string
  62. | Mchest_key of string
  63. | Mtz_expr of string
  64. | Mexprif of 'term * 'term * 'term
  65. | Mexprmatchwith of 'term * (pattern * 'term) list
  66. | Mmatchoption of 'term * mident list * 'term * 'term
  67. | Mmatchor of 'term * mident list * 'term * mident list * 'term
  68. | Mmatchlist of 'term * mident * mident * 'term * 'term
  69. | Mternarybool of 'term * 'term * 'term
  70. | Mternaryoption of 'term * 'term * 'term
  71. | Mfold of 'term * mident * 'term
  72. | Mmap of 'term * mident * 'term
  73. | Mexeclambda of 'term * 'term
  74. | Mapplylambda of 'term * 'term
  75. | Mleft of type_ * 'term
  76. | Mright of type_ * 'term
  77. | Mnone
  78. | Msome of 'term
  79. | Mtuple of 'term list
  80. | Masset of 'term list
  81. | Massets of 'term list
  82. | Mlitset of 'term list
  83. | Mlitlist of 'term list
  84. | Mlitmap of map_kind * ('term * 'term) list
  85. | Mlitrecord of (Ident.ident * 'term) list
  86. | Mlitevent of (Ident.ident * 'term) list
  87. | Mlambda of type_ * mident * type_ * 'term
  88. | Mlambda_michelson of type_ * type_ * Michelson.obj_micheline
  89. | Mmicheline_expr of type_ * Michelson.obj_micheline * 'term list
  90. | Mdot of 'term * mident
  91. | Mdotassetfield of mident * 'term * mident
  92. | Mquestionoption of 'term * mident
  93. | Mequal of type_ * 'term * 'term
  94. | Mnequal of type_ * 'term * 'term
  95. | Mgt of 'term * 'term
  96. | Mge of 'term * 'term
  97. | Mlt of 'term * 'term
  98. | Mle of 'term * 'term
  99. | Mmulticomp of 'term * (comparison_operator * 'term) list
  100. | Mand of 'term * 'term
  101. | Mor of 'term * 'term
  102. | Mgreedyand of 'term * 'term
  103. | Mgreedyor of 'term * 'term
  104. | Mxor of 'term * 'term
  105. | Mnot of 'term
  106. | Mplus of 'term * 'term
  107. | Mminus of 'term * 'term
  108. | Mmult of 'term * 'term
  109. | Mdivrat of 'term * 'term
  110. | Mdiveuc of 'term * 'term
  111. | Mmodulo of 'term * 'term
  112. | Mdivmod of 'term * 'term
  113. | Muminus of 'term
  114. | MthreeWayCmp of 'term * 'term
  115. | Mshiftleft of 'term * 'term
  116. | Mshiftright of 'term * 'term
  117. | Msubnat of 'term * 'term
  118. | Msubmutez of 'term * 'term
  119. | Maddasset of Ident.ident * 'term
  120. | Mputsingleasset of Ident.ident * 'term
  121. | Mputasset of Ident.ident * 'term * 'term
  122. | Maddfield of Ident.ident * Ident.ident * 'term * 'term
  123. | Mremoveasset of Ident.ident * 'term
  124. | Mremovefield of Ident.ident * Ident.ident * 'term * 'term
  125. | Mremoveall of Ident.ident * 'term container_kind_gen
  126. | Mremoveif of Ident.ident * 'term container_kind_gen * (Ident.ident * type_) list * 'term * 'term list
  127. | Mclear of Ident.ident * 'term container_kind_gen
  128. | Mset of Ident.ident * Ident.ident list * 'term * 'term
  129. | Mupdate of Ident.ident * 'term * (mident * assignment_operator * 'term) list
  130. | Mupdateall of Ident.ident * 'term container_kind_gen * (mident * assignment_operator * 'term) list
  131. | Maddupdate of Ident.ident * 'term container_kind_gen * 'term * (mident * assignment_operator * 'term) list
  132. | Mputremove of Ident.ident * 'term container_kind_gen * 'term * 'term
  133. | Mget of Ident.ident * 'term container_kind_gen * 'term
  134. | Mgetsome of Ident.ident * 'term container_kind_gen * 'term
  135. | Mselect of Ident.ident * 'term container_kind_gen * (Ident.ident * type_) list * 'term * 'term list
  136. | Msort of Ident.ident * 'term container_kind_gen * (Ident.ident * sort_kind) list
  137. | Mcontains of Ident.ident * 'term container_kind_gen * 'term
  138. | Mnth of Ident.ident * 'term container_kind_gen * 'term
  139. | Mcount of Ident.ident * 'term container_kind_gen
  140. | Msum of Ident.ident * 'term container_kind_gen * 'term
  141. | Mhead of Ident.ident * 'term container_kind_gen * 'term
  142. | Mtail of Ident.ident * 'term container_kind_gen * 'term
  143. | Mcast of type_ * type_ * 'term
  144. | Mtupleaccess of 'term * Core.big_int
  145. | Mrecupdate of 'term * (Ident.ident * 'term) list
  146. | Mmakeasset of Ident.ident * 'term * 'term
  147. | Mtocontainer of Ident.ident
  148. | Mglobal_constant of type_ * 'term
  149. | Msetadd of type_ * 'term * 'term
  150. | Msetremove of type_ * 'term * 'term
  151. | Msetupdate of type_ * 'term * 'term * 'term
  152. | Msetcontains of type_ * 'term * 'term
  153. | Msetlength of type_ * 'term
  154. | Msetfold of type_ * mident * mident * 'term * 'term * 'term
  155. | Msetinstradd of type_ * 'term assign_kind_gen * 'term
  156. | Msetinstrremove of type_ * 'term assign_kind_gen * 'term
  157. | Mlistprepend of type_ * 'term * 'term
  158. | Mlistlength of type_ * 'term
  159. | Mlistcontains of type_ * 'term * 'term
  160. | Mlistnth of type_ * 'term * 'term
  161. | Mlisthead of type_ * 'term * 'term
  162. | Mlisttail of type_ * 'term * 'term
  163. | Mlistreverse of type_ * 'term
  164. | Mlistconcat of type_ * 'term * 'term
  165. | Mlistfold of type_ * mident * mident * 'term * 'term * 'term
  166. | Mlistinstrprepend of type_ * 'term assign_kind_gen * 'term
  167. | Mlistinstrconcat of type_ * 'term assign_kind_gen * 'term
  168. | Mmapput of map_kind * type_ * type_ * 'term * 'term * 'term
  169. | Mmapremove of map_kind * type_ * type_ * 'term * 'term
  170. | Mmapupdate of map_kind * type_ * type_ * 'term * 'term * 'term
  171. | Mmapget of map_kind * type_ * type_ * 'term * 'term * Ident.ident option
  172. | Mmapgetopt of map_kind * type_ * type_ * 'term * 'term
  173. | Mmapcontains of map_kind * type_ * type_ * 'term * 'term
  174. | Mmaplength of map_kind * type_ * type_ * 'term
  175. | Mmapfold of map_kind * type_ * mident * mident * mident * 'term * 'term * 'term
  176. | Mmapinstrput of map_kind * type_ * type_ * 'term assign_kind_gen * 'term * 'term
  177. | Mmapinstrremove of map_kind * type_ * type_ * 'term assign_kind_gen * 'term
  178. | Mmapinstrupdate of map_kind * type_ * type_ * 'term assign_kind_gen * 'term * 'term
  179. | Mmin of 'term * 'term
  180. | Mmax of 'term * 'term
  181. | Mabs of 'term
  182. | Mconcat of 'term * 'term
  183. | Mconcatlist of 'term
  184. | Mslice of 'term * 'term * 'term
  185. | Mlength of 'term
  186. | Misnone of 'term
  187. | Missome of 'term
  188. | Minttonat of 'term
  189. | Mfloor of 'term
  190. | Mceil of 'term
  191. | Mnattostring of 'term
  192. | Mbytestonat of 'term
  193. | Mnattobytes of 'term
  194. | Mbytestoint of 'term
  195. | Minttobytes of 'term
  196. | Mpack of 'term
  197. | Munpack of type_ * 'term
  198. | Msetdelegate of 'term
  199. | Mkeyhashtocontract of 'term
  200. | Mcontracttoaddress of 'term
  201. | Maddresstocontract of type_ * 'term
  202. | Mkeytoaddress of 'term
  203. | Msimplify_rational of 'term
  204. | Mget_numerator of 'term
  205. | Mget_denominator of 'term
  206. | Misimplicitaddress of 'term
  207. | Mexp_horner of 'term * 'term
  208. | Mblake2b of 'term
  209. | Msha256 of 'term
  210. | Msha512 of 'term
  211. | Msha3 of 'term
  212. | Mkeccak of 'term
  213. | Mkeytokeyhash of 'term
  214. | Mchecksignature of 'term * 'term * 'term
  215. | Mtotalvotingpower
  216. | Mvotingpower of 'term
  217. | Mcreateticket of 'term * 'term
  218. | Mreadticket of 'term
  219. | Msplitticket of 'term * 'term * 'term
  220. | Mjointickets of 'term * 'term
  221. | Msapling_empty_state of int
  222. | Msapling_verify_update of 'term * 'term
  223. | Mpairing_check of 'term
  224. | Mopen_chest of 'term * 'term * 'term
  225. | Mnow
  226. | Mtransferred
  227. | Mcaller
  228. | Mbalance
  229. | Msource
  230. | Mselfaddress
  231. | Mselfchainid
  232. | Mmetadata
  233. | Mlevel
  234. | Mminblocktime
  235. | Mvar of mident * 'term var_kind_gen
  236. | Menumval of mident * 'term list * mident
  237. | Mrateq of 'term * 'term
  238. | Mratcmp of comparison_operator * 'term * 'term
  239. | Mratarith of rat_arith_op * 'term * 'term
  240. | Mratuminus of 'term
  241. | Mrattez of 'term * 'term
  242. | Mnattoint of 'term
  243. | Mnattorat of 'term
  244. | Minttorat of 'term
  245. | Mratdur of 'term * 'term
  246. | Minttodate of 'term
  247. | Mmuteztonat of 'term
  248. | Mdmatchoption of 'term * dpattern * 'term * 'term
  249. | Mdmatchor of 'term * dpattern * 'term * dpattern * 'term
and assign_kind = mterm assign_kind_gen
and var_kind = mterm var_kind_gen
and container_kind = mterm container_kind_gen
and iter_container_kind = mterm iter_container_kind_gen
and transfer_kind = mterm transfer_kind_gen
and mterm_gen = {
  1. node : mterm_gen mterm_node;
  2. type_ : type_;
  3. loc : Location.t;
}
and mterm = mterm_gen
and mterm__node = mterm mterm_node
and fail_type =
  1. | Invalid of mterm
  2. | InvalidCaller
  3. | InvalidSource
  4. | InvalidCondition of Ident.ident * mterm option
  5. | NotFound
  6. | AssetNotFound of Ident.ident
  7. | KeyExists of Ident.ident
  8. | KeyExistsOrNotFound of Ident.ident
  9. | DivByZero
  10. | NatNegAssign
  11. | NoTransfer
  12. | InvalidState
and api_container_kind =
  1. | Coll
  2. | View
  3. | Field of Ident.ident * Ident.ident
and api_list =
  1. | Lprepend of type_
  2. | Lcontains of type_
  3. | Llength of type_
  4. | Lnth of type_
  5. | Lreverse of type_
and api_builtin =
  1. | Bmin of type_
  2. | Bmax of type_
  3. | Babs of type_
  4. | Bconcat of type_
  5. | Bslice of type_
  6. | Blength of type_
  7. | Bisnone of type_
  8. | Bissome of type_
  9. | Boptget of type_
  10. | Bfloor
  11. | Bceil
  12. | Bfail of type_
and api_internal =
  1. | RatEq
  2. | RatCmp
  3. | RatArith
  4. | RatUminus
  5. | RatTez
  6. | RatDur
and api_storage_node =
  1. | APIAsset of api_asset
  2. | APIList of api_list
  3. | APIBuiltin of api_builtin
  4. | APIInternal of api_internal
and api_storage = {
  1. node_item : api_storage_node;
}
and letin_value = mterm letin_value_gen
and detach_kind = mterm detach_kind_gen
and create_contract_type =
  1. | CCTz of michelson_struct * mterm
  2. | CCArl of Ident.ident * (Ident.ident * mterm) list
and dpattern =
  1. | DPid of Ident.ident
  2. | DPlist of dpattern list
val pp_mterm_node : 'term. (Ppx_deriving_runtime.Format.formatter -> 'term -> Ppx_deriving_runtime.unit) -> Ppx_deriving_runtime.Format.formatter -> 'term mterm_node -> Ppx_deriving_runtime.unit
val show_mterm_node : 'term. (Ppx_deriving_runtime.Format.formatter -> 'term -> Ppx_deriving_runtime.unit) -> 'term mterm_node -> Ppx_deriving_runtime.string
val pp_assign_kind : Ppx_deriving_runtime.Format.formatter -> assign_kind -> Ppx_deriving_runtime.unit
val show_assign_kind : assign_kind -> Ppx_deriving_runtime.string
val pp_var_kind : Ppx_deriving_runtime.Format.formatter -> var_kind -> Ppx_deriving_runtime.unit
val show_var_kind : var_kind -> Ppx_deriving_runtime.string
val pp_container_kind : Ppx_deriving_runtime.Format.formatter -> container_kind -> Ppx_deriving_runtime.unit
val show_container_kind : container_kind -> Ppx_deriving_runtime.string
val pp_iter_container_kind : Ppx_deriving_runtime.Format.formatter -> iter_container_kind -> Ppx_deriving_runtime.unit
val show_iter_container_kind : iter_container_kind -> Ppx_deriving_runtime.string
val pp_transfer_kind : Ppx_deriving_runtime.Format.formatter -> transfer_kind -> Ppx_deriving_runtime.unit
val show_transfer_kind : transfer_kind -> Ppx_deriving_runtime.string
val pp_mterm_gen : Ppx_deriving_runtime.Format.formatter -> mterm -> Ppx_deriving_runtime.unit
val show_mterm_gen : mterm_gen -> Ppx_deriving_runtime.string
val pp_mterm : Ppx_deriving_runtime.Format.formatter -> mterm -> Ppx_deriving_runtime.unit
val pp_mterm__node : Ppx_deriving_runtime.Format.formatter -> mterm__node -> Ppx_deriving_runtime.unit
val show_mterm__node : mterm__node -> Ppx_deriving_runtime.string
val pp_fail_type : Ppx_deriving_runtime.Format.formatter -> fail_type -> Ppx_deriving_runtime.unit
val show_fail_type : fail_type -> Ppx_deriving_runtime.string
val pp_api_container_kind : Ppx_deriving_runtime.Format.formatter -> api_container_kind -> Ppx_deriving_runtime.unit
val show_api_container_kind : api_container_kind -> Ppx_deriving_runtime.string
val pp_api_asset : Ppx_deriving_runtime.Format.formatter -> api_asset -> Ppx_deriving_runtime.unit
val show_api_asset : api_asset -> Ppx_deriving_runtime.string
val pp_api_list : Ppx_deriving_runtime.Format.formatter -> api_list -> Ppx_deriving_runtime.unit
val show_api_list : api_list -> Ppx_deriving_runtime.string
val pp_api_builtin : Ppx_deriving_runtime.Format.formatter -> api_builtin -> Ppx_deriving_runtime.unit
val show_api_builtin : api_builtin -> Ppx_deriving_runtime.string
val pp_api_internal : Ppx_deriving_runtime.Format.formatter -> api_internal -> Ppx_deriving_runtime.unit
val show_api_internal : api_internal -> Ppx_deriving_runtime.string
val pp_api_storage_node : Ppx_deriving_runtime.Format.formatter -> api_storage_node -> Ppx_deriving_runtime.unit
val show_api_storage_node : api_storage_node -> Ppx_deriving_runtime.string
val pp_api_storage : Ppx_deriving_runtime.Format.formatter -> api_storage -> Ppx_deriving_runtime.unit
val show_api_storage : api_storage -> Ppx_deriving_runtime.string
val pp_letin_value : Ppx_deriving_runtime.Format.formatter -> letin_value -> Ppx_deriving_runtime.unit
val show_letin_value : letin_value -> Ppx_deriving_runtime.string
val pp_detach_kind : Ppx_deriving_runtime.Format.formatter -> detach_kind -> Ppx_deriving_runtime.unit
val show_detach_kind : detach_kind -> Ppx_deriving_runtime.string
val pp_create_contract_type : Ppx_deriving_runtime.Format.formatter -> create_contract_type -> Ppx_deriving_runtime.unit
val show_create_contract_type : create_contract_type -> Ppx_deriving_runtime.string
val pp_dpattern : Ppx_deriving_runtime.Format.formatter -> dpattern -> Ppx_deriving_runtime.unit
val show_dpattern : dpattern -> Ppx_deriving_runtime.string
type model_type =
  1. | MTvar
  2. | MTconst
  3. | MTasset of mident
  4. | MTstate
  5. | MTenum of Ident.ident
val pp_model_type : Ppx_deriving_runtime.Format.formatter -> model_type -> Ppx_deriving_runtime.unit
val show_model_type : model_type -> Ppx_deriving_runtime.string
type storage_item = {
  1. id : mident;
  2. model_type : model_type;
  3. typ : type_;
  4. const : bool;
  5. ghost : bool;
  6. default : mterm;
  7. namespace : Ident.ident option;
  8. no_storage : bool;
  9. loc : Location.t;
}
val pp_storage_item : Ppx_deriving_runtime.Format.formatter -> storage_item -> Ppx_deriving_runtime.unit
val show_storage_item : storage_item -> Ppx_deriving_runtime.string
type storage = storage_item list
val pp_storage : Ppx_deriving_runtime.Format.formatter -> storage -> Ppx_deriving_runtime.unit
val show_storage : storage -> Ppx_deriving_runtime.string
type enum_item = {
  1. name : mident;
  2. args : type_ list;
}
val pp_enum_item : Ppx_deriving_runtime.Format.formatter -> enum_item -> Ppx_deriving_runtime.unit
val show_enum_item : enum_item -> Ppx_deriving_runtime.string
type variable_kind =
  1. | VKconstant
  2. | VKvariable
val pp_variable_kind : Ppx_deriving_runtime.Format.formatter -> variable_kind -> Ppx_deriving_runtime.unit
val show_variable_kind : variable_kind -> Ppx_deriving_runtime.string
type var = {
  1. name : mident;
  2. type_ : type_;
  3. original_type : type_;
  4. kind : variable_kind;
  5. default : mterm option;
  6. loc : Location.t;
}
val pp_var : Ppx_deriving_runtime.Format.formatter -> var -> Ppx_deriving_runtime.unit
type enum = {
  1. name : mident;
  2. values : enum_item list;
  3. initial : mident;
}
val pp_enum : Ppx_deriving_runtime.Format.formatter -> enum -> Ppx_deriving_runtime.unit
type asset_item = {
  1. name : mident;
  2. type_ : type_;
  3. original_type : type_;
  4. default : mterm option;
  5. shadow : bool;
  6. loc : Location.t;
}
val pp_asset_item : Ppx_deriving_runtime.Format.formatter -> asset_item -> Ppx_deriving_runtime.unit
val show_asset_item : asset_item -> Ppx_deriving_runtime.string
type init_asset =
  1. | IAliteral of mterm list
  2. | IAident of lident
val pp_init_asset : Ppx_deriving_runtime.Format.formatter -> init_asset -> Ppx_deriving_runtime.unit
val show_init_asset : init_asset -> Ppx_deriving_runtime.string
type asset = {
  1. name : mident;
  2. values : asset_item list;
  3. keys : Ident.ident list;
  4. sort : mident list;
  5. map_kind : map_kind;
  6. state : lident option;
  7. init : init_asset;
  8. no_storage : bool;
  9. loc : Location.t;
}
val pp_asset : Ppx_deriving_runtime.Format.formatter -> asset -> Ppx_deriving_runtime.unit
type position =
  1. | Ptuple of Ident.ident list
  2. | Pnode of position list
val pp_position : Ppx_deriving_runtime.Format.formatter -> position -> Ppx_deriving_runtime.unit
val show_position : position -> Ppx_deriving_runtime.string
type record_field = {
  1. name : mident;
  2. type_ : type_;
  3. loc : Location.t;
}
val pp_record_field : Ppx_deriving_runtime.Format.formatter -> record_field -> Ppx_deriving_runtime.unit
val show_record_field : record_field -> Ppx_deriving_runtime.string
type record = {
  1. name : mident;
  2. fields : record_field list;
  3. pos : position;
  4. loc : Location.t;
}
val pp_record : Ppx_deriving_runtime.Format.formatter -> record -> Ppx_deriving_runtime.unit
val show_record : record -> Ppx_deriving_runtime.string
type function_ = {
  1. name : mident;
}
val pp_function_ : Ppx_deriving_runtime.Format.formatter -> function_ -> Ppx_deriving_runtime.unit
val show_function_ : function_ -> Ppx_deriving_runtime.string
type entry = {
  1. name : mident;
}
val pp_entry : Ppx_deriving_runtime.Format.formatter -> entry -> Ppx_deriving_runtime.unit
val show_entry : entry -> Ppx_deriving_runtime.string
type argument = mident * type_ * mterm option
val pp_argument : Ppx_deriving_runtime.Format.formatter -> argument -> Ppx_deriving_runtime.unit
val show_argument : argument -> Ppx_deriving_runtime.string
type function_struct = {
  1. name : mident;
  2. args : argument list;
  3. eargs : argument list;
  4. stovars : Ident.ident list;
  5. body : mterm;
  6. side_effect : bool;
  7. loc : Location.t;
}
val pp_function_struct : Ppx_deriving_runtime.Format.formatter -> function_struct -> Ppx_deriving_runtime.unit
val show_function_struct : function_struct -> Ppx_deriving_runtime.string
type view_visibility =
  1. | VVonchain
  2. | VVoffchain
  3. | VVonoffchain
val pp_view_visibility : Ppx_deriving_runtime.Format.formatter -> view_visibility -> Ppx_deriving_runtime.unit
val show_view_visibility : view_visibility -> Ppx_deriving_runtime.string
type returned_fun_type =
  1. | Typed of type_
  2. | Void
val pp_returned_fun_type : Ppx_deriving_runtime.Format.formatter -> returned_fun_type -> Ppx_deriving_runtime.unit
val show_returned_fun_type : returned_fun_type -> Ppx_deriving_runtime.string
type function_node =
  1. | Function of function_struct * returned_fun_type
  2. | Getter of function_struct * type_
  3. | View of function_struct * type_ * view_visibility
  4. | Entry of function_struct
val pp_function_node : Ppx_deriving_runtime.Format.formatter -> function_node -> Ppx_deriving_runtime.unit
val show_function_node : function_node -> Ppx_deriving_runtime.string
type signature = {
  1. name : mident;
  2. args : argument list;
  3. ret : type_ option;
}
val pp_signature : Ppx_deriving_runtime.Format.formatter -> signature -> Ppx_deriving_runtime.unit
val show_signature : signature -> Ppx_deriving_runtime.string
type decl_node =
  1. | Dvar of var
  2. | Denum of enum
  3. | Dasset of asset
  4. | Drecord of record
  5. | Devent of record
val pp_decl_node : Ppx_deriving_runtime.Format.formatter -> decl_node -> Ppx_deriving_runtime.unit
val show_decl_node : decl_node -> Ppx_deriving_runtime.string
type parameter = {
  1. name : mident;
  2. typ : type_;
  3. default : mterm option;
  4. value : mterm option;
  5. const : bool;
  6. loc : Location.t;
}
val pp_parameter : Ppx_deriving_runtime.Format.formatter -> parameter -> Ppx_deriving_runtime.unit
val show_parameter : parameter -> Ppx_deriving_runtime.string
type metadata_kind =
  1. | MKuri of string Location.loced
  2. | MKjson of string Location.loced
val pp_metadata_kind : Ppx_deriving_runtime.Format.formatter -> metadata_kind -> Ppx_deriving_runtime.unit
val show_metadata_kind : metadata_kind -> Ppx_deriving_runtime.string
type odel_asset = {
  1. name : mident;
  2. container_type : type_;
  3. key_type : type_;
  4. value_type : type_;
}
val pp_odel_asset : Ppx_deriving_runtime.Format.formatter -> odel_asset -> Ppx_deriving_runtime.unit
val show_odel_asset : odel_asset -> Ppx_deriving_runtime.string
type odel_record = {
  1. name : mident;
  2. current_type : type_;
}
val pp_odel_record : Ppx_deriving_runtime.Format.formatter -> odel_record -> Ppx_deriving_runtime.unit
val show_odel_record : odel_record -> Ppx_deriving_runtime.string
type odel_enum = {
  1. name : mident;
  2. current_type : type_;
}
val pp_odel_enum : Ppx_deriving_runtime.Format.formatter -> odel_enum -> Ppx_deriving_runtime.unit
val show_odel_enum : odel_enum -> Ppx_deriving_runtime.string
type original_decl =
  1. | ODAsset of odel_asset
  2. | ODRecord of odel_record
  3. | ODEnum of odel_enum
val pp_original_decl : Ppx_deriving_runtime.Format.formatter -> original_decl -> Ppx_deriving_runtime.unit
val show_original_decl : original_decl -> Ppx_deriving_runtime.string
type extra = {
  1. original_decls : original_decl list;
}
val pp_extra : Ppx_deriving_runtime.Format.formatter -> extra -> Ppx_deriving_runtime.unit
type model = {
  1. name : lident;
  2. parameters : parameter list;
  3. metadata : metadata_kind option;
  4. api_items : api_storage list;
  5. decls : decl_node list;
  6. storage : storage;
  7. functions : function_node list;
  8. extra : extra;
  9. cc_models : model list;
  10. loc : Location.t;
}
val pp_model : Ppx_deriving_runtime.Format.formatter -> model -> Ppx_deriving_runtime.unit
val mk_mident : ?namespace:lident -> lident -> mident
val unloc_mident : mident -> Ident.ident
val loc_mident : mident -> Location.t
val deloc_mident : mident -> Location.t * Ident.ident
val mk_pattern : ?loc:Location.t -> pattern_node -> pattern
val mk_mterm : ?loc:Location.t -> mterm_gen mterm_node -> type_ -> mterm
val mk_var : ?default:mterm -> ?loc:Location.t -> mident -> type_ -> type_ -> variable_kind -> var
val mk_enum : ?values:enum_item list -> mident -> mident -> enum
val mk_enum_item : ?args:type_ list -> mident -> enum_item
val mk_asset : ?values:asset_item list -> ?sort:mident list -> ?map_kind:map_kind -> ?state:lident -> ?keys:Ident.ident list -> ?init:init_asset -> ?loc:Location.t -> ?no_storage:bool -> mident -> asset
val mk_asset_item : ?default:mterm -> ?shadow:bool -> ?loc:Location.t -> mident -> type_ -> type_ -> asset_item
val mk_record : ?fields:record_field list -> ?pos:position -> ?loc:Location.t -> mident -> record
val mk_record_field : ?loc:Location.t -> mident -> type_ -> record_field
val mk_storage_item : ?const:bool -> ?ghost:bool -> ?namespace:Ident.ident -> ?no_storage:bool -> ?loc:Location.t -> mident -> model_type -> type_ -> mterm -> storage_item
val mk_parameter : ?default:mterm -> ?value:mterm -> ?const:bool -> ?loc:Location.t -> mident -> type_ -> parameter
val mk_function_struct : ?args:argument list -> ?eargs:argument list -> ?stovars:Ident.ident list -> ?side_effect:bool -> ?loc:Location.t -> mident -> mterm -> function_struct
val mk_api_item : api_storage_node -> api_storage
val mk_odel_asset : mident -> type_ -> type_ -> type_ -> odel_asset
val mk_odel_record : mident -> type_ -> odel_record
val mk_odel_enum : mident -> type_ -> odel_enum
val mk_extra : ?original_decls:original_decl list -> unit -> extra
val mk_model : ?parameters:parameter list -> ?metadata:metadata_kind -> ?api_items:api_storage list -> ?decls:decl_node list -> ?functions:function_node list -> ?storage:storage -> ?extra:extra -> ?cc_models:model list -> ?loc:Location.t -> lident -> model
val gen_mident : string -> mident -> Ident.ident
val normalize_mident : mident -> Ident.ident
val printable_mident : mident -> Ident.ident
val string_to_mident : ?nm:string option -> Ident.ident -> mident
val mktype : ?annot:lident -> ntype -> type_
val get_ntype : (ntype * 'a) -> ntype
val get_atype : ('a * lident option) -> lident option
val mkannot : string -> lident -> lident option
val mkfannot : lident -> lident option
val mkvannot : lident -> lident option
val tunit : type_
val tbool : type_
val tnat : type_
val tint : type_
val tstring : type_
val tbytes : type_
val ttez : type_
val tduration : type_
val tkey : type_
val tkeyhash : type_
val tdate : type_
val ttimestamp : type_
val taddress : type_
val tenum : mident -> type_
val tstate : type_
val trecord : mident -> type_
val tevent : mident -> type_
val toption : type_ -> type_
val tset : type_ -> type_
val tlist : type_ -> type_
val tmap : type_ -> type_ -> type_
val tbig_map : type_ -> type_ -> type_
val titerable_big_map : type_ -> type_ -> type_
val tor : type_ -> type_ -> type_
val tlambda : type_ -> type_ -> type_
val ttuple : type_ list -> type_
val trat : type_
val toperation : type_
val tsignature : type_
val tcontract : type_ -> type_
val tticket : type_ -> type_
val tsapling_state : int -> type_
val tsapling_transaction : int -> type_
val trational : type_
val tchainid : type_
val tbls12_381_fr : type_
val tbls12_381_g1 : type_
val tbls12_381_g2 : type_
val tnever : type_
val tchest : type_
val tchest_key : type_
val tasset : mident -> type_
val tcollection : mident -> type_
val taggregate : mident -> type_
val tpartition : mident -> type_
val tassetcontainer : mident -> type_
val tassetkey : mident -> type_
val tassetvalue : mident -> type_
val tview : mident -> type_
val toperations : type_
val tmetadata : type_
val mk_bool : bool -> mterm
val mk_string : string -> mterm
val mk_bytes : string -> mterm
val mk_chain_id : string -> mterm
val mk_key : string -> mterm
val mk_key_hash : string -> mterm
val mk_signature : string -> mterm
val mk_bls12_381_fr : string -> mterm
val mk_bls12_381_fr_n : Core.big_int -> mterm
val mk_bls12_381_g1 : string -> mterm
val mk_bls12_381_g2 : string -> mterm
val mk_bnat : Core.big_int -> mterm
val mk_nat : int -> mterm
val mk_bint : Core.big_int -> mterm
val mk_int : int -> mterm
val mk_brational : Core.big_int -> Core.big_int -> mterm
val mk_rational : int -> int -> mterm
val mk_address : string -> mterm
val unit : mterm
val mk_sapling_state_empty : int -> mterm
val mk_sapling_transaction : int -> string -> mterm
val mk_chest : string -> mterm
val mk_chest_key : string -> mterm
val mk_tz_expr : string -> mterm
val mk_date : Core.date -> mterm
val mk_duration : Core.duration -> mterm
val mk_pair : mterm list -> mterm
val mtrue : mterm
val mfalse : mterm
val mnow : mterm
val mtransferred : mterm
val mcaller : mterm
val mbalance : mterm
val msource : mterm
val mselfaddress : mterm
val mselfchainid : mterm
val mmetadata : mterm
val mlevel : mterm
val mminblocktime : mterm
val mk_mvar : mident -> type_ -> mterm
val mk_pvar : mident -> type_ -> mterm
val mk_svar : mident -> type_ -> mterm
val mk_state_var : 'a -> mterm
val mk_enum_value : ?args:mterm_gen list -> mident -> mident -> mterm
val mk_state_value : mident -> mterm
val mk_btez : Core.big_int -> mterm
val mk_tez : int -> mterm
val mk_tuple : ?loc:Location.t -> mterm list -> mterm
val mk_letin : ?loc:Location.t -> mident -> mterm_gen -> mterm_gen -> mterm
val mk_declvar : mident -> type_ -> mterm_gen -> mterm
val mk_iter : mident -> mterm_gen -> mterm_gen -> mterm_gen -> bool -> mterm
val mk_return : mterm_gen -> mterm
val mk_tupleaccess : int -> mterm -> mterm
val mk_min : mterm -> mterm -> type_ -> mterm
val mk_max : mterm -> mterm -> type_ -> mterm
val mk_abs : mterm -> mterm
val mk_nat_to_int : mterm -> mterm
val mk_int_to_rat : mterm -> mterm
val mk_nat_to_rat : mterm -> mterm
val mk_some : mterm_gen -> mterm
val mk_left : type_ -> mterm_gen -> mterm
val mk_right : type_ -> mterm_gen -> mterm
val mk_none : type_ -> mterm
val mk_litset : type_ -> mterm_gen list -> mterm
val mk_litlist : type_ -> mterm_gen list -> mterm
val mk_litmap : type_ -> type_ -> (mterm_gen * mterm_gen) list -> mterm
val mk_litbig_map : type_ -> type_ -> (mterm_gen * mterm_gen) list -> mterm
val mk_lititerable_big_map : type_ -> type_ -> (mterm_gen * mterm_gen) list -> mterm
val mk_lambda : type_ -> mident -> type_ -> mterm_gen -> mterm
val mk_pack : mterm_gen -> mterm
val mk_unpack : type_ -> mterm_gen -> mterm
val mk_keyhashtocontract : mterm_gen -> mterm
val mk_setdelegate : mterm_gen -> mterm
val mk_blake2b : mterm_gen -> mterm
val mk_sha256 : mterm_gen -> mterm
val mk_sha512 : mterm_gen -> mterm
val mk_keytokeyhash : mterm_gen -> mterm
val mk_checksignature : mterm_gen -> mterm_gen -> mterm_gen -> mterm
val mk_brat : Core.big_int -> Core.big_int -> mterm
val mk_rat : int -> int -> mterm
val mk_muteztonat : mterm_gen -> mterm
val mk_nattoint : mterm_gen -> mterm
val mk_metadata : (mterm_gen * mterm_gen) list -> mterm
val fail : string -> mterm
val failg : mterm -> mterm
val failc : fail_type -> mterm
val faile : mterm_gen -> type_ -> mterm
val mnot : mterm_gen -> mterm
val seq : mterm_gen list -> mterm
val skip : mterm
val operations : mterm
val mk_get_entrypoint : type_ -> lident -> mterm -> mterm
val mk_mkoperation : mterm_gen -> mterm_gen -> mterm_gen -> mterm
val mk_mkevent : type_ -> mident -> mterm_gen -> mterm
val mk_transfer_op : mterm_gen -> mterm
val fail_msg_ASSET_NOT_FOUND : string
val fail_msg_DIV_BY_ZERO : string
val fail_msg_INVALID_CALLER : string
val fail_msg_INVALID_CONDITION : string
val fail_msg_INVALID_SOURCE : string
val fail_msg_INVALID_STATE : string
val fail_msg_KEY_EXISTS : string
val fail_msg_KEY_EXISTS_OR_NOT_FOUND : string
val fail_msg_NAT_NEG_ASSIGN : string
val fail_msg_NO_TRANSFER : string
val fail_msg_NOT_FOUND : string
val fail_msg_OPTION_IS_NONE : string
val fail_msg_OUT_OF_BOUND : string
val fail_msg_ENTRY_NOT_FOUND : string
val fail_msg_EMPTY_LIST : string
val fail_msg_NOT_IMPLICIT_CONTRACT : string
val fail_msg_KEY_NOT_FOUND : string
val fail_msg_INVALID_EVENT_CONTRACT : string
val cmp_ident : Ident.ident -> Ident.ident -> bool
val cmp_big_int : Core.big_int -> Core.big_int -> bool
val cmp_int : int -> int -> bool
val cmp_lident : lident -> lident -> bool
val cmp_namespace : namespace -> namespace -> bool
val cmp_path : path -> path -> bool
val cmp_mident : mident -> mident -> bool
val cmp_bool : bool -> bool -> bool
val cmp_assign_op : assignment_operator -> assignment_operator -> bool
val cmp_container : container -> container -> bool
val cmp_btyp : btyp -> btyp -> bool
val cmp_comparison_operator : comparison_operator -> comparison_operator -> bool
val cmp_rat_arith_op : rat_arith_op -> rat_arith_op -> bool
val cmp_fail_type : (mterm -> mterm -> bool) -> fail_type -> fail_type -> bool
val cmp_ntype : ntype -> ntype -> bool
val cmp_type : ?with_annot:bool -> type_ -> type_ -> bool
val cmp_pattern_node : pattern_node -> pattern_node -> bool
val cmp_pattern : pattern -> pattern -> bool
val cmp_for_ident : (mident -> mident -> bool) -> for_ident -> for_ident -> bool
val cmp_dpattern : dpattern -> dpattern -> bool
val cmp_mterm_node : (mterm -> mterm -> bool) -> (mident -> mident -> bool) -> mterm mterm_node -> mterm mterm_node -> bool
val cmp_mterm : mterm -> mterm -> bool
val cmp_container_kind : api_container_kind -> api_container_kind -> bool
val cmp_api_item_node : api_storage_node -> api_storage_node -> bool
val cmp_api_storage : api_storage -> api_storage -> bool
val map_ptyp : (type_ -> type_) -> ntype -> ntype
val map_type : (type_ -> type_) -> type_ -> type_
val fold_typ : ('a -> type_ -> 'a) -> 'a -> type_ -> 'a
val map_for_ident : (mident -> mident) -> for_ident -> for_ident
val map_assign_kind : (mident -> mident) -> ('a -> 'b) -> 'a assign_kind_gen -> 'b assign_kind_gen
val map_var_kind : ('a -> 'b) -> 'a var_kind_gen -> 'b var_kind_gen
val map_container_kind : (Ident.ident -> Ident.ident) -> ('a -> 'b) -> 'a container_kind_gen -> 'b container_kind_gen
val map_iter_container_kind : (Ident.ident -> Ident.ident) -> ('a -> 'b) -> 'a iter_container_kind_gen -> 'b iter_container_kind_gen
val map_transfer_kind : (Ident.ident -> Ident.ident) -> (type_ -> type_) -> ('a -> 'b) -> 'a transfer_kind_gen -> 'b transfer_kind_gen
val map_detach_kind : (Ident.ident -> Ident.ident) -> (type_ -> type_) -> ('a -> 'b) -> 'a detach_kind_gen -> 'b detach_kind_gen
val map_create_contract_type : (mterm -> mterm) -> (Ident.ident -> Ident.ident) -> create_contract_type -> create_contract_type
val map_term_node_internal : (Ident.ident -> Ident.ident) -> (mident -> mident) -> (type_ -> type_) -> (mterm -> mterm) -> mterm mterm_node -> mterm mterm_node
val map_mterm : (mterm -> mterm) -> ?fi:(Ident.ident -> Ident.ident) -> ?g:(mident -> mident) -> ?ft:(type_ -> type_) -> mterm -> mterm
type 't ctx_model_gen = {
  1. formula : bool;
  2. fun_node : function_node option;
  3. fs : function_struct option;
  4. label : mident option;
  5. spec_id : mident option;
  6. invariant_id : mident option;
  7. custom : 't;
}
type ctx_model = unit ctx_model_gen
val mk_ctx_model : ?formula:bool -> ?fun_node:function_node -> ?fs:function_struct -> ?label:mident -> ?spec_id:mident -> ?invariant_id:mident -> 't -> 't ctx_model_gen
val map_mterm_model_gen : 't -> ('t ctx_model_gen -> mterm -> mterm) -> model -> model
val map_mterm_model : (unit ctx_model_gen -> mterm -> mterm) -> model -> model
val fold_assign_kind : ('a -> 'b -> 'a) -> 'a -> 'b assign_kind_gen -> 'a
val fold_var_kind : ('a -> 'b -> 'a) -> 'a -> 'b var_kind_gen -> 'a
val fold_container_kind : ('a -> 'b -> 'a) -> 'a -> 'b container_kind_gen -> 'a
val fold_iter_container_kind : ('a -> 'b -> 'a) -> 'a -> 'b iter_container_kind_gen -> 'a
val fold_transfer_kind : ('a -> 'b -> 'a) -> 'a -> 'b transfer_kind_gen -> 'a
val fold_detach_kind : ('a -> 'b -> 'a) -> 'a -> 'b detach_kind_gen -> 'a
val fold_term : ('a -> mterm -> 'a) -> 'a -> mterm -> 'a
val fold_map_term_list : ('a -> 'b -> 'term * 'a) -> 'a -> 'b list -> 'term list * 'a
val fold_map_assign_kind : ('a -> 'b -> 'c * 'a) -> 'a -> 'b assign_kind_gen -> 'c assign_kind_gen * 'a
val fold_map_var_kind : ('a -> 'b -> 'c * 'a) -> 'a -> 'b var_kind_gen -> 'c var_kind_gen * 'a
val fold_map_container_kind : ('a -> 'b -> 'c * 'a) -> 'a -> 'b container_kind_gen -> 'c container_kind_gen * 'a
val fold_map_iter_container_kind : ('a -> 'b -> 'c * 'a) -> 'a -> 'b iter_container_kind_gen -> 'c iter_container_kind_gen * 'a
val fold_map_transfer_kind : ('a -> 'b -> 'c * 'a) -> 'a -> 'b transfer_kind_gen -> 'c transfer_kind_gen * 'a
val fold_map_detach_kind : ('a -> 'b -> 'c * 'a) -> 'a -> 'b detach_kind_gen -> 'c detach_kind_gen * 'a
val fold_map_term : (mterm mterm_node -> mterm) -> ('a -> mterm -> mterm * 'a) -> 'a -> mterm -> mterm * 'a
val fold_left : ('a -> 'b -> 'b) -> 'a list -> 'b -> 'b
val fold_model : (unit ctx_model_gen -> 'a -> mterm -> 'a) -> model -> 'a -> 'a
type kind_ident =
  1. | KIarchetype
  2. | KIparameter
  3. | KIdeclvarname
  4. | KIassetname
  5. | KIassetfield
  6. | KIassetstate
  7. | KIassetinit
  8. | KIrecordname
  9. | KIrecordfield
  10. | KIparamlambda
  11. | KIenumname
  12. | KIenumvalue
  13. | KIcontractname
  14. | KIcontractentry
  15. | KIstoragefield
  16. | KIentry
  17. | KIfunction
  18. | KIgetter
  19. | KIview
  20. | KIargument
  21. | KIlocalvar
  22. | KIlabel
  23. | KIpredicate
  24. | KIdefinition
  25. | KIdefinitionvar
  26. | KIinvariant
  27. | KIpostcondition
  28. | KIpostconditionuse
  29. | KIfaillabel
  30. | KIfailfid
  31. | KIfailarg
  32. | KIsecurityad
  33. | KIsecurityrole
  34. | KIsecurityentry
  35. | KImterm
val map_model : (kind_ident -> Ident.ident -> Ident.ident) -> (type_ -> type_) -> (mterm -> mterm) -> model -> model
val replace_ident_model : (kind_ident -> Ident.ident -> Ident.ident) -> model -> model
val merge_seq : mterm -> mterm -> mterm
val extract_list : mterm -> mterm -> mterm list
type effect =
  1. | Eadded of Ident.ident
  2. | Eremoved of Ident.ident
  3. | Eupdated of Ident.ident
val pp_effect : Ppx_deriving_runtime.Format.formatter -> effect -> Ppx_deriving_runtime.unit
val show_effect : effect -> Ppx_deriving_runtime.string
module Utils : sig ... end
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct