package archetype

  1. Overview
  2. Docs
package archetype
Legend:
Library
Module
Module type
Parameter
Class
Class type
val show_lident : lident -> Ppx_deriving_runtime.string
type currency =
  1. | Utz
val show_currency : currency -> Ppx_deriving_runtime.string
type container =
  1. | Collection
  2. | Aggregate
  3. | Partition
  4. | AssetContainer
  5. | AssetKey
  6. | AssetValue
  7. | View
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. | Bcurrency
  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
type vset =
  1. | VSremoved
  2. | VSadded
  3. | VSstable
  4. | VSbefore
  5. | VSafter
  6. | VSfixed
type trtyp =
  1. | TRentry
  2. | TRaction
  3. | TRasset
  4. | TRfield
type ntype =
  1. | Tasset of lident
  2. | Tenum of lident
  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 lident
  15. | Tevent of lident
  16. | Tlambda of type_ * type_
  17. | Tunit
  18. | Tstorage
  19. | Toperation
  20. | Tcontract of type_
  21. | Tprog of type_
  22. | Tvset of vset * type_
  23. | Ttrace of trtyp
  24. | Tticket of type_
  25. | Tsapling_state of int
  26. | Tsapling_transaction of int
and type_ = ntype * lident option
val pp_type_ : Ppx_deriving_runtime.Format.formatter -> type_ -> Ppx_deriving_runtime.unit
val show_type_ : type_ -> Ppx_deriving_runtime.string
type 'id pattern_node =
  1. | Pwild
  2. | Pconst of 'id * lident list
type 'id pattern_gen = {
  1. node : 'id pattern_node;
  2. loc : Location.t;
}
type pattern = lident pattern_gen
val show_pattern : pattern -> Ppx_deriving_runtime.string
type 'id for_ident_gen =
  1. | FIsimple of 'id
  2. | FIdouble of 'id * 'id
type for_ident = lident for_ident_gen
val show_for_ident : for_ident -> Ppx_deriving_runtime.string
type comparison_operator =
  1. | Gt
  2. | Ge
  3. | Lt
  4. | Le
val show_comparison_operator : comparison_operator -> Ppx_deriving_runtime.string
type rat_arith_op =
  1. | Rplus
  2. | Rminus
  3. | Rmult
  4. | Rdiv
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 show_assignment_operator : assignment_operator -> Ppx_deriving_runtime.string
type sort_kind =
  1. | SKasc
  2. | SKdesc
val show_sort_kind : sort_kind -> Ppx_deriving_runtime.string
type ('id, 'term) assign_kind_gen =
  1. | Avar of 'id
  2. | Avarstore of 'id
  3. | Aasset of 'id * 'id * 'term
  4. | Arecord of 'term * 'id * 'id
  5. | Atuple of 'term * int * int
  6. | Astate
  7. | Aassetstate of Ident.ident * 'term
  8. | Aoperations
type 'term var_kind_gen =
  1. | Vassetstate of 'term
  2. | Vstorevar
  3. | Vstorecol
  4. | Vdefinition
  5. | Vlocal
  6. | Vparam
  7. | Vfield
  8. | Vstate
  9. | Vthe
  10. | Vparameter
type temp =
  1. | Tbefore
  2. | Tat of Ident.ident
  3. | Tnone
type delta =
  1. | Dadded
  2. | Dremoved
  3. | Dunmoved
  4. | Dnone
type 'term container_kind_gen =
  1. | CKcoll of temp * delta
  2. | CKview of 'term
  3. | CKfield of Ident.ident * Ident.ident * 'term * temp * delta
  4. | CKdef of Ident.ident
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
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. | TKself of 'term * Ident.ident * (Ident.ident * 'term) list
  5. | TKoperation of 'term
type map_kind =
  1. | MKMap
  2. | MKBigMap
  3. | MKIterableBigMap
val show_map_kind : map_kind -> Ppx_deriving_runtime.string
type create_contract_kind =
  1. | CCpath of string
  2. | CCcontent of Michelson.obj_micheline
val show_create_contract_kind : create_contract_kind -> Ppx_deriving_runtime.string
type ('id, 'term) mterm_node =
  1. | Mletin of 'id list * 'term * type_ option * 'term * 'term option
  2. | Mdeclvar of 'id list * type_ option * 'term * bool
  3. | Mdeclvaropt of 'id list * type_ option * 'term * 'term option * bool
  4. | Mapp of 'id * 'term list
  5. | Massign of assignment_operator * type_ * ('id, 'term) assign_kind_gen * 'term
  6. | Massignopt of assignment_operator * type_ * ('id, 'term) assign_kind_gen * 'term * 'term
  7. | Mif of 'term * 'term * 'term option
  8. | Mmatchwith of 'term * ('id pattern_gen * 'term) list
  9. | Minstrmatchoption of 'term * 'id * 'term * 'term
  10. | Minstrmatchor of 'term * 'id * 'term * 'id * 'term
  11. | Minstrmatchlist of 'term * 'id * 'id * 'term * 'term
  12. | Mfor of 'id for_ident_gen * 'term iter_container_kind_gen * 'term * Ident.ident option
  13. | Miter of 'id * 'term * 'term * 'term * Ident.ident option * bool
  14. | Mwhile of 'term * 'term * Ident.ident option
  15. | Mseq of 'term list
  16. | Mreturn of 'term
  17. | Mlabel of 'id
  18. | Mmark of 'id * 'term
  19. | Mfail of 'id fail_type_gen
  20. | Mfailsome of 'term
  21. | Mtransfer of 'term transfer_kind_gen
  22. | Memit of 'id * 'term
  23. | Mgetentrypoint of type_ * 'id * 'term
  24. | Mcallview of type_ * 'term * 'id * 'term
  25. | Mself of 'id
  26. | Moperations
  27. | Mmakeoperation of 'term * 'term * 'term
  28. | Mcreatecontract of create_contract_kind * 'term * 'term * 'term
  29. | Mint of Core.big_int
  30. | Mnat of Core.big_int
  31. | Mbool of bool
  32. | Mrational of Core.big_int * Core.big_int
  33. | Mstring of string
  34. | Mcurrency of Core.big_int * currency
  35. | Maddress of string
  36. | Mdate of Core.date
  37. | Mduration of Core.duration
  38. | Mtimestamp of Core.big_int
  39. | Mbytes of string
  40. | Mchain_id of string
  41. | Mkey of string
  42. | Mkey_hash of string
  43. | Msignature of string
  44. | Mbls12_381_fr of string
  45. | Mbls12_381_fr_n of Core.big_int
  46. | Mbls12_381_g1 of string
  47. | Mbls12_381_g2 of string
  48. | Munit
  49. | MsaplingStateEmpty of int
  50. | MsaplingTransaction of int * string
  51. | Mchest of string
  52. | Mchest_key of string
  53. | Mexprif of 'term * 'term * 'term
  54. | Mexprmatchwith of 'term * ('id pattern_gen * 'term) list
  55. | Mmatchoption of 'term * 'id * 'term * 'term
  56. | Mmatchor of 'term * 'id * 'term * 'id * 'term
  57. | Mmatchlist of 'term * 'id * 'id * 'term * 'term
  58. | Mternarybool of 'term * 'term * 'term
  59. | Mternaryoption of 'term * 'term * 'term
  60. | Mfold of 'term * 'id * 'term
  61. | Mmap of 'term * 'id * 'term
  62. | Mexeclambda of 'term * 'term
  63. | Mapplylambda of 'term * 'term
  64. | Mleft of type_ * 'term
  65. | Mright of type_ * 'term
  66. | Mnone
  67. | Msome of 'term
  68. | Mtuple of 'term list
  69. | Masset of 'term list
  70. | Massets of 'term list
  71. | Mlitset of 'term list
  72. | Mlitlist of 'term list
  73. | Mlitmap of map_kind * ('term * 'term) list
  74. | Mlitrecord of (Ident.ident * 'term) list
  75. | Mlitevent of (Ident.ident * 'term) list
  76. | Mlambda of type_ * 'id * type_ * 'term
  77. | Mdot of 'term * 'id
  78. | Mdotassetfield of 'id * 'term * 'id
  79. | Mquestionoption of 'term * 'id
  80. | Mequal of type_ * 'term * 'term
  81. | Mnequal of type_ * 'term * 'term
  82. | Mgt of 'term * 'term
  83. | Mge of 'term * 'term
  84. | Mlt of 'term * 'term
  85. | Mle of 'term * 'term
  86. | Mmulticomp of 'term * (comparison_operator * 'term) list
  87. | Mand of 'term * 'term
  88. | Mor of 'term * 'term
  89. | Mgreedyand of 'term * 'term
  90. | Mgreedyor of 'term * 'term
  91. | Mxor of 'term * 'term
  92. | Mnot of 'term
  93. | Mplus of 'term * 'term
  94. | Mminus of 'term * 'term
  95. | Mmult of 'term * 'term
  96. | Mdivrat of 'term * 'term
  97. | Mdiveuc of 'term * 'term
  98. | Mmodulo of 'term * 'term
  99. | Mdivmod of 'term * 'term
  100. | Muminus of 'term
  101. | MthreeWayCmp of 'term * 'term
  102. | Mshiftleft of 'term * 'term
  103. | Mshiftright of 'term * 'term
  104. | Msubnat of 'term * 'term
  105. | Msubmutez of 'term * 'term
  106. | Maddasset of Ident.ident * 'term
  107. | Mputsingleasset of Ident.ident * 'term
  108. | Mputasset of Ident.ident * 'term * 'term
  109. | Maddfield of Ident.ident * Ident.ident * 'term * 'term
  110. | Mremoveasset of Ident.ident * 'term
  111. | Mremovefield of Ident.ident * Ident.ident * 'term * 'term
  112. | Mremoveall of Ident.ident * 'term container_kind_gen
  113. | Mremoveif of Ident.ident * 'term container_kind_gen * (Ident.ident * type_) list * 'term * 'term list
  114. | Mclear of Ident.ident * 'term container_kind_gen
  115. | Mset of Ident.ident * Ident.ident list * 'term * 'term
  116. | Mupdate of Ident.ident * 'term * ('id * assignment_operator * 'term) list
  117. | Mupdateall of Ident.ident * 'term container_kind_gen * ('id * assignment_operator * 'term) list
  118. | Maddupdate of Ident.ident * 'term container_kind_gen * 'term * ('id * assignment_operator * 'term) list
  119. | Mputremove of Ident.ident * 'term container_kind_gen * 'term * 'term
  120. | Mget of Ident.ident * 'term container_kind_gen * 'term
  121. | Mgetsome of Ident.ident * 'term container_kind_gen * 'term
  122. | Mselect of Ident.ident * 'term container_kind_gen * (Ident.ident * type_) list * 'term * 'term list
  123. | Msort of Ident.ident * 'term container_kind_gen * (Ident.ident * sort_kind) list
  124. | Mcontains of Ident.ident * 'term container_kind_gen * 'term
  125. | Mnth of Ident.ident * 'term container_kind_gen * 'term
  126. | Mcount of Ident.ident * 'term container_kind_gen
  127. | Msum of Ident.ident * 'term container_kind_gen * 'term
  128. | Mhead of Ident.ident * 'term container_kind_gen * 'term
  129. | Mtail of Ident.ident * 'term container_kind_gen * 'term
  130. | Mcast of type_ * type_ * 'term
  131. | Mtupleaccess of 'term * Core.big_int
  132. | Mrecupdate of 'term * (Ident.ident * 'term) list
  133. | Mmakeasset of Ident.ident * 'term * 'term
  134. | Mtocontainer of Ident.ident
  135. | Msetadd of type_ * 'term * 'term
  136. | Msetremove of type_ * 'term * 'term
  137. | Msetupdate of type_ * 'term * 'term * 'term
  138. | Msetcontains of type_ * 'term * 'term
  139. | Msetlength of type_ * 'term
  140. | Msetfold of type_ * 'id * 'id * 'term * 'term * 'term
  141. | Msetinstradd of type_ * ('id, 'term) assign_kind_gen * 'term
  142. | Msetinstrremove of type_ * ('id, 'term) assign_kind_gen * 'term
  143. | Mlistprepend of type_ * 'term * 'term
  144. | Mlistlength of type_ * 'term
  145. | Mlistcontains of type_ * 'term * 'term
  146. | Mlistnth of type_ * 'term * 'term
  147. | Mlistreverse of type_ * 'term
  148. | Mlistconcat of type_ * 'term * 'term
  149. | Mlistfold of type_ * 'id * 'id * 'term * 'term * 'term
  150. | Mlistinstrprepend of type_ * ('id, 'term) assign_kind_gen * 'term
  151. | Mlistinstrconcat of type_ * ('id, 'term) assign_kind_gen * 'term
  152. | Mmapput of map_kind * type_ * type_ * 'term * 'term * 'term
  153. | Mmapremove of map_kind * type_ * type_ * 'term * 'term
  154. | Mmapupdate of map_kind * type_ * type_ * 'term * 'term * 'term
  155. | Mmapget of map_kind * type_ * type_ * 'term * 'term * Ident.ident option
  156. | Mmapgetopt of map_kind * type_ * type_ * 'term * 'term
  157. | Mmapcontains of map_kind * type_ * type_ * 'term * 'term
  158. | Mmaplength of map_kind * type_ * type_ * 'term
  159. | Mmapfold of map_kind * type_ * 'id * 'id * 'id * 'term * 'term * 'term
  160. | Mmapinstrput of map_kind * type_ * type_ * ('id, 'term) assign_kind_gen * 'term * 'term
  161. | Mmapinstrremove of map_kind * type_ * type_ * ('id, 'term) assign_kind_gen * 'term
  162. | Mmapinstrupdate of map_kind * type_ * type_ * ('id, 'term) assign_kind_gen * 'term * 'term
  163. | Mmin of 'term * 'term
  164. | Mmax of 'term * 'term
  165. | Mabs of 'term
  166. | Mconcat of 'term * 'term
  167. | Mconcatlist of 'term
  168. | Mslice of 'term * 'term * 'term
  169. | Mlength of 'term
  170. | Misnone of 'term
  171. | Missome of 'term
  172. | Minttonat of 'term
  173. | Mfloor of 'term
  174. | Mceil of 'term
  175. | Mnattostring of 'term
  176. | Mpack of 'term
  177. | Munpack of type_ * 'term
  178. | Msetdelegate of 'term
  179. | Mkeyhashtocontract of 'term
  180. | Mcontracttoaddress of 'term
  181. | Maddresstocontract of type_ * 'term
  182. | Mkeytoaddress of 'term
  183. | Mblake2b of 'term
  184. | Msha256 of 'term
  185. | Msha512 of 'term
  186. | Msha3 of 'term
  187. | Mkeccak of 'term
  188. | Mkeytokeyhash of 'term
  189. | Mchecksignature of 'term * 'term * 'term
  190. | Mtotalvotingpower
  191. | Mvotingpower of 'term
  192. | Mcreateticket of 'term * 'term
  193. | Mreadticket of 'term
  194. | Msplitticket of 'term * 'term * 'term
  195. | Mjointickets of 'term * 'term
  196. | Msapling_empty_state of int
  197. | Msapling_verify_update of 'term * 'term
  198. | Mpairing_check of 'term
  199. | Mopen_chest of 'term * 'term * 'term
  200. | Mnow
  201. | Mtransferred
  202. | Mcaller
  203. | Mbalance
  204. | Msource
  205. | Mselfaddress
  206. | Mselfchainid
  207. | Mmetadata
  208. | Mlevel
  209. | Mvar of 'id * 'term var_kind_gen * temp * delta
  210. | Menumval of 'id * 'term list * Ident.ident
  211. | Mrateq of 'term * 'term
  212. | Mratcmp of comparison_operator * 'term * 'term
  213. | Mratarith of rat_arith_op * 'term * 'term
  214. | Mratuminus of 'term
  215. | Mrattez of 'term * 'term
  216. | Mnattoint of 'term
  217. | Mnattorat of 'term
  218. | Minttorat of 'term
  219. | Mratdur of 'term * 'term
  220. | Minttodate of 'term
  221. | Mmuteztonat of 'term
  222. | Mforall of 'id * type_ * 'term option * 'term
  223. | Mexists of 'id * type_ * 'term option * 'term
  224. | Mimply of 'term * 'term
  225. | Mequiv of 'term * 'term
  226. | Msetiterated of 'term iter_container_kind_gen
  227. | Msettoiterate of 'term iter_container_kind_gen
  228. | Mempty of Ident.ident
  229. | Msingleton of Ident.ident * 'term
  230. | Msubsetof of Ident.ident * 'term container_kind_gen * 'term
  231. | Misempty of Ident.ident * 'term
  232. | Munion of Ident.ident * 'term * 'term
  233. | Minter of Ident.ident * 'term * 'term
  234. | Mdiff of Ident.ident * 'term * 'term
and assign_kind = (lident, 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 'id mterm_gen = {
  1. node : ('id, 'id mterm_gen) mterm_node;
  2. type_ : type_;
  3. loc : Location.t;
}
and mterm = lident mterm_gen
and mterm__node = (lident, mterm) mterm_node
and 'id fail_type_gen =
  1. | Invalid of 'id mterm_gen
  2. | InvalidCaller
  3. | InvalidSource
  4. | InvalidCondition of Ident.ident
  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 fail_type = lident fail_type_gen
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. | Bnattostring
  13. | 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_loc =
  1. | OnlyFormula
  2. | OnlyExec
  3. | ExecFormula
and api_storage = {
  1. node_item : api_storage_node;
  2. api_loc : api_loc;
}
and api_verif =
  1. | StorageInvariant of Ident.ident * Ident.ident * mterm
and entry_description =
  1. | ADany
  2. | ADadd of Ident.ident
  3. | ADremove of Ident.ident
  4. | ADupdate of Ident.ident
  5. | ADtransfer of Ident.ident
  6. | ADget of Ident.ident
  7. | ADiterate of Ident.ident
  8. | ADcall of Ident.ident
and security_role = lident
and security_entry =
  1. | Sany
  2. | Sentry of lident list
val show_assign_kind : assign_kind -> Ppx_deriving_runtime.string
val show_var_kind : var_kind -> Ppx_deriving_runtime.string
val show_container_kind : container_kind -> Ppx_deriving_runtime.string
val show_iter_container_kind : iter_container_kind -> Ppx_deriving_runtime.string
val show_transfer_kind : transfer_kind -> Ppx_deriving_runtime.string
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 show_fail_type : fail_type -> Ppx_deriving_runtime.string
val show_api_container_kind : api_container_kind -> Ppx_deriving_runtime.string
val show_api_asset : api_asset -> Ppx_deriving_runtime.string
val show_api_list : api_list -> Ppx_deriving_runtime.string
val show_api_builtin : api_builtin -> Ppx_deriving_runtime.string
val show_api_internal : api_internal -> Ppx_deriving_runtime.string
val show_api_storage_node : api_storage_node -> Ppx_deriving_runtime.string
val show_api_loc : api_loc -> Ppx_deriving_runtime.string
val show_api_storage : api_storage -> Ppx_deriving_runtime.string
val show_api_verif : api_verif -> Ppx_deriving_runtime.string
val pp_entry_description : Ppx_deriving_runtime.Format.formatter -> entry_description -> Ppx_deriving_runtime.unit
val show_entry_description : entry_description -> Ppx_deriving_runtime.string
val show_security_role : security_role -> Ppx_deriving_runtime.string
val pp_security_entry : Ppx_deriving_runtime.Format.formatter -> security_entry -> Ppx_deriving_runtime.unit
val show_security_entry : security_entry -> Ppx_deriving_runtime.string
type 'id label_term_gen = {
  1. label : 'id;
  2. term : 'id mterm_gen;
  3. loc : Location.t;
}
type label_term = lident label_term_gen
val show_label_term : label_term -> Ppx_deriving_runtime.string
type model_type =
  1. | MTvar
  2. | MTconst
  3. | MTasset of Ident.ident
  4. | MTstate
  5. | MTenum of Ident.ident
val show_model_type : model_type -> Ppx_deriving_runtime.string
type 'id storage_item_gen = {
  1. id : 'id;
  2. model_type : model_type;
  3. typ : type_;
  4. const : bool;
  5. ghost : bool;
  6. default : 'id mterm_gen;
  7. loc : Location.t;
}
type storage_item = lident storage_item_gen
val show_storage_item : storage_item -> Ppx_deriving_runtime.string
type 'id storage_gen = 'id storage_item_gen list
type storage = lident storage_gen
val show_storage : storage -> Ppx_deriving_runtime.string
type 'id enum_item_gen = {
  1. name : 'id;
  2. args : type_ list;
  3. invariants : 'id label_term_gen list;
}
type enum_item = lident enum_item_gen
val show_enum_item : enum_item -> Ppx_deriving_runtime.string
type variable_kind =
  1. | VKconstant
  2. | VKvariable
val show_variable_kind : variable_kind -> Ppx_deriving_runtime.string
type 'id var_gen = {
  1. name : 'id;
  2. type_ : type_;
  3. original_type : type_;
  4. kind : variable_kind;
  5. default : 'id mterm_gen option;
  6. invariants : 'id label_term_gen list;
  7. loc : Location.t;
}
type var = lident var_gen
type 'id enum_gen = {
  1. name : 'id;
  2. values : 'id enum_item_gen list;
  3. initial : 'id;
}
type enum = lident enum_gen
type 'id asset_item_gen = {
  1. name : 'id;
  2. type_ : type_;
  3. original_type : type_;
  4. default : 'id mterm_gen option;
  5. shadow : bool;
  6. loc : Location.t;
}
type asset_item = lident asset_item_gen
val show_asset_item : asset_item -> Ppx_deriving_runtime.string
type 'id asset_gen = {
  1. name : 'id;
  2. values : 'id asset_item_gen list;
  3. keys : Ident.ident list;
  4. sort : 'id list;
  5. map_kind : map_kind;
  6. state : lident option;
  7. invariants : lident label_term_gen list;
  8. init : 'id mterm_gen list;
  9. loc : Location.t;
}
type asset = lident asset_gen
type position =
  1. | Ptuple of Ident.ident list
  2. | Pnode of position list
val show_position : position -> Ppx_deriving_runtime.string
type 'id record_field_gen = {
  1. name : 'id;
  2. type_ : type_;
  3. loc : Location.t;
}
type record_field = lident record_field_gen
val show_record_field : record_field -> Ppx_deriving_runtime.string
type 'id record_gen = {
  1. name : 'id;
  2. fields : 'id record_field_gen list;
  3. pos : position;
  4. loc : Location.t;
}
type record = lident record_gen
val show_record : record -> Ppx_deriving_runtime.string
type 'id function_ = {
  1. name : 'id;
}
val pp_function_ : 'id. (Ppx_deriving_runtime.Format.formatter -> 'id -> Ppx_deriving_runtime.unit) -> Ppx_deriving_runtime.Format.formatter -> 'id function_ -> Ppx_deriving_runtime.unit
val show_function_ : 'id. (Ppx_deriving_runtime.Format.formatter -> 'id -> Ppx_deriving_runtime.unit) -> 'id function_ -> Ppx_deriving_runtime.string
type 'id entry = {
  1. name : 'id;
}
val pp_entry : 'id. (Ppx_deriving_runtime.Format.formatter -> 'id -> Ppx_deriving_runtime.unit) -> Ppx_deriving_runtime.Format.formatter -> 'id entry -> Ppx_deriving_runtime.unit
val show_entry : 'id. (Ppx_deriving_runtime.Format.formatter -> 'id -> Ppx_deriving_runtime.unit) -> 'id entry -> Ppx_deriving_runtime.string
type 'id argument_gen = 'id * type_ * 'id mterm_gen option
type argument = lident argument_gen
val show_argument : argument -> Ppx_deriving_runtime.string
type 'id function_struct_gen = {
  1. name : 'id;
  2. args : 'id argument_gen list;
  3. eargs : 'id argument_gen list;
  4. stovars : Ident.ident list;
  5. body : 'id mterm_gen;
  6. loc : Location.t;
}
type function_struct = lident function_struct_gen
val show_function_struct : function_struct -> Ppx_deriving_runtime.string
type 'id function_node_gen =
  1. | Function of 'id function_struct_gen * type_
  2. | Getter of 'id function_struct_gen * type_
  3. | View of 'id function_struct_gen * type_
  4. | Entry of 'id function_struct_gen
type function_node = lident function_node_gen
val show_function_node : function_node -> Ppx_deriving_runtime.string
type 'id signature_gen = {
  1. name : 'id;
  2. args : 'id argument_gen list;
  3. ret : type_ option;
}
type signature = lident signature_gen
val show_signature : signature -> Ppx_deriving_runtime.string
type 'id variable_gen = {
  1. decl : 'id argument_gen;
  2. kind : variable_kind;
  3. loc : Location.t;
}
type variable = lident variable_gen
val show_variable : variable -> Ppx_deriving_runtime.string
type 'id predicate_gen = {
  1. name : 'id;
  2. args : ('id * type_) list;
  3. body : 'id mterm_gen;
  4. loc : Location.t;
}
type predicate = lident predicate_gen
val show_predicate : predicate -> Ppx_deriving_runtime.string
type 'id definition_gen = {
  1. name : 'id;
  2. typ : type_;
  3. var : 'id;
  4. body : 'id mterm_gen;
  5. loc : Location.t;
}
type definition = lident definition_gen
val show_definition : definition -> Ppx_deriving_runtime.string
type 'id invariant_gen = {
  1. label : 'id;
  2. formulas : 'id mterm_gen list;
}
type invariant = lident invariant_gen
val show_invariant : invariant -> Ppx_deriving_runtime.string
type 'id fail_gen = {
  1. label : 'id;
  2. fid : 'id option;
  3. arg : 'id;
  4. atype : type_;
  5. formula : 'id mterm_gen;
  6. loc : Location.t;
}
type fail = lident fail_gen
type spec_mode =
  1. | Post
  2. | Assert
val show_spec_mode : spec_mode -> Ppx_deriving_runtime.string
type 'id postcondition_gen = {
  1. name : 'id;
  2. mode : spec_mode;
  3. formula : 'id mterm_gen;
  4. invariants : 'id invariant_gen list;
  5. uses : 'id list;
}
type postcondition = lident postcondition_gen
val show_postcondition : postcondition -> Ppx_deriving_runtime.string
type 'id assert_gen = {
  1. name : 'id;
  2. label : 'id;
  3. formula : 'id mterm_gen;
  4. invariants : 'id invariant_gen list;
  5. uses : 'id list;
}
type assert_ = lident assert_gen
val pp_assert_ : Ppx_deriving_runtime.Format.formatter -> assert_ -> Ppx_deriving_runtime.unit
val show_assert_ : assert_ -> Ppx_deriving_runtime.string
type 'id specification_gen = {
  1. predicates : 'id predicate_gen list;
  2. definitions : 'id definition_gen list;
  3. lemmas : 'id label_term_gen list;
  4. theorems : 'id label_term_gen list;
  5. fails : 'id fail_gen list;
  6. variables : 'id variable_gen list;
  7. invariants : ('id * 'id label_term_gen list) list;
  8. effects : 'id mterm_gen list;
  9. postconditions : 'id postcondition_gen list;
  10. loc : Location.t;
}
type security_node =
  1. | SonlyByRole of entry_description * security_role list
  2. | SonlyInEntry of entry_description * security_entry
  3. | SonlyByRoleInEntry of entry_description * security_role list * security_entry
  4. | SnotByRole of entry_description * security_role list
  5. | SnotInEntry of entry_description * security_entry
  6. | SnotByRoleInEntry of entry_description * security_role list * security_entry
  7. | StransferredBy of entry_description
  8. | StransferredTo of entry_description
  9. | SnoStorageFail of security_entry
val show_security_node : security_node -> Ppx_deriving_runtime.string
type security_predicate = {
  1. s_node : security_node;
  2. loc : Location.t;
}
val show_security_predicate : security_predicate -> Ppx_deriving_runtime.string
type security_item = {
  1. label : lident;
  2. predicate : security_predicate;
  3. loc : Location.t;
}
val show_security_item : security_item -> Ppx_deriving_runtime.string
type security = {
  1. items : security_item list;
  2. loc : Location.t;
}
val show_security : security -> Ppx_deriving_runtime.string
type specification = lident specification_gen
val show_specification : specification -> Ppx_deriving_runtime.string
type 'id function__gen = {
  1. node : 'id function_node_gen;
  2. spec : 'id specification_gen option;
}
val pp_function__gen : 'id. (Ppx_deriving_runtime.Format.formatter -> 'id -> Ppx_deriving_runtime.unit) -> Ppx_deriving_runtime.Format.formatter -> 'id function__gen -> Ppx_deriving_runtime.unit
val show_function__gen : 'id. (Ppx_deriving_runtime.Format.formatter -> 'id -> Ppx_deriving_runtime.unit) -> 'id function__gen -> Ppx_deriving_runtime.string
type function__ = lident function__gen
val pp_function__ : Ppx_deriving_runtime.Format.formatter -> function__ -> Ppx_deriving_runtime.unit
val show_function__ : function__ -> Ppx_deriving_runtime.string
type 'id decl_node_gen =
  1. | Dvar of 'id var_gen
  2. | Denum of 'id enum_gen
  3. | Dasset of 'id asset_gen
  4. | Drecord of 'id record_gen
  5. | Devent of 'id record_gen
type decl_node = lident decl_node_gen
val show_decl_node : decl_node -> Ppx_deriving_runtime.string
type 'id parameter_gen = {
  1. name : 'id;
  2. typ : type_;
  3. default : 'id mterm_gen option;
  4. value : 'id mterm_gen option;
  5. const : bool;
  6. loc : Location.t;
}
type parameter = lident parameter_gen
val show_parameter : parameter -> Ppx_deriving_runtime.string
type metadata_kind =
  1. | MKuri of string Location.loced
  2. | MKjson of string Location.loced
val show_metadata_kind : metadata_kind -> Ppx_deriving_runtime.string
type 'id model_gen = {
  1. name : lident;
  2. parameters : 'id parameter_gen list;
  3. metadata : metadata_kind option;
  4. api_items : api_storage list;
  5. api_verif : api_verif list;
  6. decls : 'id decl_node_gen list;
  7. storage : 'id storage_gen;
  8. functions : 'id function__gen list;
  9. specification : 'id specification_gen;
  10. security : security;
  11. loc : Location.t;
}
type property =
  1. | Ppostcondition of postcondition * Ident.ident option
  2. | PstorageInvariant of label_term * Ident.ident
  3. | PsecurityPredicate of security_item
val show_property : property -> Ppx_deriving_runtime.string
type model = lident model_gen
val mk_pattern : ?loc:Location.t -> 'id pattern_node -> 'id pattern_gen
val mk_mterm : ?loc:Location.t -> ('id, 'id mterm_gen) mterm_node -> type_ -> 'id mterm_gen
val mk_label_term : ?loc:Location.t -> 'id mterm_gen -> 'id -> 'id label_term_gen
val mk_variable : ?loc:Location.t -> 'a argument_gen -> variable_kind -> 'a variable_gen
val mk_predicate : ?args:('a * type_) list -> ?loc:Location.t -> 'a -> 'a mterm_gen -> 'a predicate_gen
val mk_definition : ?loc:Location.t -> 'a -> type_ -> 'a -> 'a mterm_gen -> 'a definition_gen
val mk_invariant : ?formulas:'a mterm_gen list -> 'a -> 'a invariant_gen
val mk_fail : ?loc:Location.t -> 'a -> 'a option -> 'a -> type_ -> 'a mterm_gen -> 'a fail_gen
val mk_postcondition : ?invariants:'a invariant_gen list -> ?uses:'a list -> 'a -> spec_mode -> 'a mterm_gen -> 'a postcondition_gen
val mk_assert : ?invariants:'a invariant_gen list -> ?uses:'a list -> 'a -> 'a -> 'a mterm_gen -> 'a assert_gen
val mk_specification : ?predicates:'a predicate_gen list -> ?definitions:'a definition_gen list -> ?lemmas:'a label_term_gen list -> ?theorems:'a label_term_gen list -> ?fails:'a fail_gen list -> ?variables:'a variable_gen list -> ?invariants:('a * 'a label_term_gen list) list -> ?effects:'a mterm_gen list -> ?postconditions:'a postcondition_gen list -> ?loc:Location.t -> unit -> 'a specification_gen
val mk_security_predicate : ?loc:Location.t -> security_node -> security_predicate
val mk_security_item : ?loc:Location.t -> lident -> security_predicate -> security_item
val mk_security : ?items:security_item list -> ?loc:Location.t -> unit -> security
val mk_var : ?invariants:'id label_term_gen list -> ?default:'id mterm_gen -> ?loc:Location.t -> 'id -> type_ -> type_ -> variable_kind -> 'id var_gen
val mk_enum : ?values:'id enum_item_gen list -> 'id -> 'id -> 'id enum_gen
val mk_enum_item : ?args:type_ list -> ?invariants:'id label_term_gen list -> 'id -> 'id enum_item_gen
val mk_asset : ?values:'id asset_item_gen list -> ?sort:'id list -> ?map_kind:map_kind -> ?state:lident -> ?keys:Ident.ident list -> ?invariants:lident label_term_gen list -> ?init:'id mterm_gen list -> ?loc:Location.t -> 'id -> 'id asset_gen
val mk_asset_item : ?default:'id mterm_gen -> ?shadow:bool -> ?loc:Location.t -> 'id -> type_ -> type_ -> 'id asset_item_gen
val mk_record : ?fields:'id record_field_gen list -> ?pos:position -> ?loc:Location.t -> 'id -> 'id record_gen
val mk_record_field : ?loc:Location.t -> 'id -> type_ -> 'id record_field_gen
val mk_storage_item : ?const:bool -> ?ghost:bool -> ?loc:Location.t -> 'id -> model_type -> type_ -> 'id mterm_gen -> 'id storage_item_gen
val mk_function_struct : ?args:lident argument_gen list -> ?eargs:lident argument_gen list -> ?stovars:Ident.ident list -> ?loc:Location.t -> lident -> lident mterm_gen -> function_struct
val mk_function : ?spec:'id specification_gen -> 'id function_node_gen -> 'id function__gen
val mk_api_item : api_storage_node -> api_loc -> api_storage
val mk_model : ?parameters:lident parameter_gen list -> ?metadata:metadata_kind -> ?api_items:api_storage list -> ?api_verif:api_verif list -> ?decls:lident decl_node_gen list -> ?functions:lident function__gen list -> ?storage:lident storage_gen -> ?specification:lident specification_gen -> ?security:security -> ?loc:Location.t -> lident -> model
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 : lident -> type_
val tstate : type_
val tstorage : type_
val trecord : lident -> type_
val tevent : lident -> 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 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 : lident -> type_
val tcollection : lident -> type_
val taggregate : lident -> type_
val tpartition : lident -> type_
val tassetcontainer : lident -> type_
val tassetkey : lident -> type_
val tassetvalue : lident -> type_
val tview : lident -> type_
val toperations : type_
val tmetadata : type_
val mk_bool : bool -> 'a mterm_gen
val mk_string : string -> 'a mterm_gen
val mk_bytes : string -> 'a mterm_gen
val mk_chain_id : string -> 'a mterm_gen
val mk_key : string -> 'a mterm_gen
val mk_key_hash : string -> 'a mterm_gen
val mk_signature : string -> 'a mterm_gen
val mk_bls12_381_fr : string -> 'a mterm_gen
val mk_bls12_381_fr_n : Core.big_int -> 'a mterm_gen
val mk_bls12_381_g1 : string -> 'a mterm_gen
val mk_bls12_381_g2 : string -> 'a mterm_gen
val mk_bnat : Core.big_int -> 'a mterm_gen
val mk_nat : int -> 'a mterm_gen
val mk_bint : Core.big_int -> 'a mterm_gen
val mk_int : int -> 'a mterm_gen
val mk_address : string -> 'a mterm_gen
val unit : 'a mterm_gen
val mk_sapling_state_empty : int -> 'a mterm_gen
val mk_sapling_transaction : int -> string -> 'a mterm_gen
val mk_chest : string -> 'a mterm_gen
val mk_chest_key : string -> 'a mterm_gen
val mk_date : Core.date -> 'a mterm_gen
val mk_duration : Core.duration -> 'a mterm_gen
val mk_pair : 'a mterm_gen -> 'a mterm_gen -> 'a mterm_gen
val mtrue : 'a mterm_gen
val mfalse : 'a mterm_gen
val mnow : 'a mterm_gen
val mtransferred : 'a mterm_gen
val mcaller : 'a mterm_gen
val mbalance : 'a mterm_gen
val msource : 'a mterm_gen
val mselfaddress : 'a mterm_gen
val mselfchainid : 'a mterm_gen
val mmetadata : 'a mterm_gen
val mlevel : 'a mterm_gen
val mk_mvar : 'a -> type_ -> 'a mterm_gen
val mk_pvar : 'a -> type_ -> 'a mterm_gen
val mk_svar : 'a -> type_ -> 'a mterm_gen
val mk_state_var : 'a -> string Location.loced mterm_gen
val mk_enum_value : ?args:'a mterm_gen list -> 'a -> Ident.ident Location.loced -> 'a mterm_gen
val mk_state_value : 'a -> 'a mterm_gen
val mk_btez : Core.big_int -> 'a mterm_gen
val mk_tez : int -> 'a mterm_gen
val mk_tuple : mterm list -> lident mterm_gen
val mk_letin : 'a -> 'a mterm_gen -> 'a mterm_gen -> 'a mterm_gen
val mk_tupleaccess : int -> mterm -> lident mterm_gen
val mk_min : mterm -> mterm -> type_ -> lident mterm_gen
val mk_max : mterm -> mterm -> type_ -> lident mterm_gen
val mk_abs : mterm -> lident mterm_gen
val mk_nat_to_int : mterm -> lident mterm_gen
val mk_some : 'a mterm_gen -> 'a mterm_gen
val mk_left : type_ -> 'a mterm_gen -> 'a mterm_gen
val mk_right : type_ -> 'a mterm_gen -> 'a mterm_gen
val mk_none : type_ -> 'a mterm_gen
val mk_pack : 'a mterm_gen -> 'a mterm_gen
val mk_unpack : type_ -> 'a mterm_gen -> 'a mterm_gen
val mk_blake2b : 'a mterm_gen -> 'a mterm_gen
val mk_sha256 : 'a mterm_gen -> 'a mterm_gen
val mk_sha512 : 'a mterm_gen -> 'a mterm_gen
val mk_keytokeyhash : 'a mterm_gen -> 'a mterm_gen
val mk_checksignature : 'a mterm_gen -> 'a mterm_gen -> 'a mterm_gen -> 'a mterm_gen
val mk_rat : int -> int -> lident mterm_gen
val mk_muteztonat : 'a mterm_gen -> 'a mterm_gen
val mk_nattoint : 'a mterm_gen -> 'a mterm_gen
val mk_metadata : ('a mterm_gen * 'a mterm_gen) list -> 'a mterm_gen
val fail : string -> 'a mterm_gen
val failg : 'a mterm_gen -> 'a mterm_gen
val failc : 'a fail_type_gen -> 'a mterm_gen
val mnot : 'a mterm_gen -> 'a mterm_gen
val seq : 'a mterm_gen list -> 'a mterm_gen
val skip : 'a mterm_gen
val operations : 'a mterm_gen
val mk_get_entrypoint : type_ -> lident -> mterm -> mterm
val mk_mkoperation : 'a mterm_gen -> 'a mterm_gen -> 'a mterm_gen -> 'a mterm_gen
val mk_transfer_op : 'a mterm_gen -> 'a mterm_gen
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_bool : bool -> bool -> bool
val cmp_assign_op : assignment_operator -> assignment_operator -> bool
val cmp_currency : currency -> currency -> bool
val cmp_container : container -> container -> bool
val cmp_btyp : btyp -> btyp -> bool
val cmp_vset : vset -> vset -> bool
val cmp_trtyp : trtyp -> trtyp -> bool
val cmp_comparison_operator : comparison_operator -> comparison_operator -> bool
val cmp_rat_arith_op : rat_arith_op -> rat_arith_op -> bool
val cmp_entry_description : entry_description -> entry_description -> bool
val cmp_security_role : lident -> lident -> bool
val cmp_security_entry : security_entry -> security_entry -> bool
val cmp_fail_type : ('id mterm_gen -> 'id mterm_gen -> bool) -> 'id fail_type_gen -> 'id fail_type_gen -> bool
val cmp_ntype : ntype -> ntype -> bool
val cmp_type : ?with_annot:bool -> type_ -> type_ -> bool
val cmp_pattern_node : (lident -> lident -> bool) -> lident pattern_node -> lident pattern_node -> bool
val cmp_pattern : lident pattern_gen -> lident pattern_gen -> bool
val cmp_for_ident : ('id -> 'id -> bool) -> 'id for_ident_gen -> 'id for_ident_gen -> bool
val cmp_mterm_node : (mterm -> mterm -> bool) -> (lident -> lident -> bool) -> (lident, mterm) mterm_node -> (lident, 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_loc : api_loc -> api_loc -> bool
val cmp_api_storage : api_storage -> api_storage -> bool
val cmp_api_verif : api_verif -> api_verif -> bool
val map_ptyp : (type_ -> type_) -> ntype -> ntype
val map_type : (type_ -> type_) -> type_ -> type_
val map_for_ident : ('id -> 'id) -> 'id for_ident_gen -> 'id for_ident_gen
val map_assign_kind : (Ident.ident -> Ident.ident) -> ('id -> 'id) -> ('a -> 'b) -> ('id, 'a) assign_kind_gen -> ('id, 'b) assign_kind_gen
val map_var_kind : ('a -> 'b) -> 'a var_kind_gen -> 'b var_kind_gen
val map_temp : (Ident.ident -> Ident.ident) -> temp -> temp
val map_delta : delta -> delta
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_term_node_internal : (Ident.ident -> Ident.ident) -> ('id -> 'id) -> (type_ -> type_) -> ('id mterm_gen -> 'id mterm_gen) -> ('id, 'id mterm_gen) mterm_node -> ('id, 'id mterm_gen) mterm_node
val map_mterm : (mterm -> mterm) -> ?fi:(Ident.ident -> Ident.ident) -> ?g:(lident -> lident) -> ?ft:(type_ -> type_) -> mterm -> mterm
type ('id, 't) ctx_model_gen = {
  1. formula : bool;
  2. fs : 'id function_struct_gen option;
  3. label : 'id option;
  4. spec_id : 'id option;
  5. invariant_id : 'id option;
  6. custom : 't;
}
type ctx_model = (lident, unit) ctx_model_gen
val mk_ctx_model : ?formula:bool -> ?fs:'id function_struct_gen -> ?label:'id -> ?spec_id:'id -> ?invariant_id:'id -> 't -> ('id, 't) ctx_model_gen
val map_mterm_model_exec : 't -> ((lident, 't) ctx_model_gen -> mterm -> mterm) -> model -> model
val map_specification : (lident, 't) ctx_model_gen -> ((lident, 't) ctx_model_gen -> mterm -> mterm) -> specification -> specification
val map_mterm_model_formula : 't -> ((lident, 't) ctx_model_gen -> mterm -> mterm) -> model -> model
val map_mterm_model_gen : 't -> ((lident, 't) ctx_model_gen -> mterm -> mterm) -> model -> model
val map_mterm_model : ((lident, unit) ctx_model_gen -> mterm -> mterm) -> model -> model
val fold_assign_kind : ('a -> 'b -> 'a) -> 'a -> ('c, '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_term : ('a -> 'id mterm_gen -> 'a) -> 'a -> 'id mterm_gen -> '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 -> ('d, 'b) assign_kind_gen -> ('d, '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_term : (('id, 'id mterm_gen) mterm_node -> 'id mterm_gen) -> ('a -> 'id mterm_gen -> 'id mterm_gen * 'a) -> 'a -> 'id mterm_gen -> 'id mterm_gen * 'a
val fold_left : ('a -> 'b -> 'b) -> 'a list -> 'b -> 'b
val fold_label_term : ('id, 't) ctx_model_gen -> (('id, 't) ctx_model_gen -> 'a -> 'id mterm_gen -> 'a) -> 'id label_term_gen -> 'a -> 'a
val fold_specification : ('id, 't) ctx_model_gen -> (('id, 't) ctx_model_gen -> 'a -> 'id mterm_gen -> 'a) -> 'id specification_gen -> 'a -> 'a
val fold_model : ((lident, unit) ctx_model_gen -> 'a -> lident mterm_gen -> 'a) -> lident model_gen -> '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 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