package archetype

  1. Overview
  2. Docs
package archetype
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Archetype.ModelSource

Sourcetype mident = lident
Sourcetype currency =
  1. | Utz
Sourcetype container =
  1. | Collection
  2. | Aggregate
  3. | Partition
  4. | AssetContainer
  5. | AssetKey
  6. | AssetValue
  7. | View
Sourcetype 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
Sourcetype vset =
  1. | VSremoved
  2. | VSadded
  3. | VSstable
  4. | VSbefore
  5. | VSafter
  6. | VSfixed
Sourcetype trtyp =
  1. | TRentry
  2. | TRaction
  3. | TRasset
  4. | TRfield
Sourcetype 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
Sourceand type_ = ntype * lident option
Sourceval pp_type_ : Ppx_deriving_runtime.Format.formatter -> type_ -> Ppx_deriving_runtime.unit
Sourceval show_type_ : type_ -> Ppx_deriving_runtime.string
Sourcetype pattern_node =
  1. | Pwild
  2. | Pconst of mident * lident list
Sourcetype pattern = {
  1. node : pattern_node;
  2. loc : Location.t;
}
Sourcetype for_ident =
  1. | FIsimple of mident
  2. | FIdouble of mident * mident
Sourcetype comparison_operator =
  1. | Gt
  2. | Ge
  3. | Lt
  4. | Le
Sourceval show_comparison_operator : comparison_operator -> Ppx_deriving_runtime.string
Sourcetype rat_arith_op =
  1. | Rplus
  2. | Rminus
  3. | Rmult
  4. | Rdiv
Sourcetype assignment_operator =
  1. | ValueAssign
  2. | PlusAssign
  3. | MinusAssign
  4. | MultAssign
  5. | DivAssign
  6. | AndAssign
  7. | OrAssign
Sourceval show_assignment_operator : assignment_operator -> Ppx_deriving_runtime.string
Sourcetype sort_kind =
  1. | SKasc
  2. | SKdesc
Sourcetype '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. | Aassetstate of Ident.ident * 'term
  8. | Aoperations
Sourcetype '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
Sourcetype temp =
  1. | Tbefore
  2. | Tat of Ident.ident
  3. | Tnone
Sourcetype delta =
  1. | Dadded
  2. | Dremoved
  3. | Dunmoved
  4. | Dnone
Sourcetype '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
Sourcetype '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
Sourcetype '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
Sourcetype map_kind =
  1. | MKMap
  2. | MKBigMap
  3. | MKIterableBigMap
Sourcetype michelson_struct = {
  1. ms_content : Michelson.obj_micheline;
}
Sourcetype 'term mterm_node =
  1. | Mletin of mident list * 'term * 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 * 'term * 'term
  10. | Minstrmatchor of 'term * mident * 'term * mident * 'term
  11. | Minstrmatchlist of 'term * mident * mident * 'term * 'term
  12. | Mfor of for_ident * 'term iter_container_kind_gen * 'term * Ident.ident option
  13. | Miter of mident * '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 mident
  18. | Mmark of mident * 'term
  19. | Mfail of fail_type
  20. | Mfailsome of 'term
  21. | Mtransfer of 'term transfer_kind_gen
  22. | Memit of mident * 'term
  23. | Mgetentrypoint of type_ * mident * 'term
  24. | Mcallview of type_ * 'term * mident * 'term
  25. | Mimportcallview of type_ * 'term * mident * 'term
  26. | Mself of mident
  27. | Moperations
  28. | Mmakeoperation of 'term * 'term * 'term
  29. | Mmakeevent of type_ * mident * 'term
  30. | Mcreatecontract of michelson_struct * 'term * 'term * 'term
  31. | Mint of Core.big_int
  32. | Mnat of Core.big_int
  33. | Mbool of bool
  34. | Mrational of Core.big_int * Core.big_int
  35. | Mstring of string
  36. | Mcurrency of Core.big_int * currency
  37. | Maddress of string
  38. | Mdate of Core.date
  39. | Mduration of Core.duration
  40. | Mtimestamp of Core.big_int
  41. | Mbytes of string
  42. | Mchain_id of string
  43. | Mkey of string
  44. | Mkey_hash of string
  45. | Msignature of string
  46. | Mbls12_381_fr of string
  47. | Mbls12_381_fr_n of Core.big_int
  48. | Mbls12_381_g1 of string
  49. | Mbls12_381_g2 of string
  50. | Munit
  51. | MsaplingStateEmpty of int
  52. | MsaplingTransaction of int * string
  53. | Mchest of string
  54. | Mchest_key of string
  55. | Mexprif of 'term * 'term * 'term
  56. | Mexprmatchwith of 'term * (pattern * 'term) list
  57. | Mmatchoption of 'term * mident * 'term * 'term
  58. | Mmatchor of 'term * mident * 'term * mident * 'term
  59. | Mmatchlist of 'term * mident * mident * 'term * 'term
  60. | Mternarybool of 'term * 'term * 'term
  61. | Mternaryoption of 'term * 'term * 'term
  62. | Mfold of 'term * mident * 'term
  63. | Mmap of 'term * mident * 'term
  64. | Mexeclambda of 'term * 'term
  65. | Mapplylambda of 'term * 'term
  66. | Mleft of type_ * 'term
  67. | Mright of type_ * 'term
  68. | Mnone
  69. | Msome of 'term
  70. | Mtuple of 'term list
  71. | Masset of 'term list
  72. | Massets of 'term list
  73. | Mlitset of 'term list
  74. | Mlitlist of 'term list
  75. | Mlitmap of map_kind * ('term * 'term) list
  76. | Mlitrecord of (Ident.ident * 'term) list
  77. | Mlitevent of (Ident.ident * 'term) list
  78. | Mlambda of type_ * mident * type_ * 'term
  79. | Mdot of 'term * mident
  80. | Mdotassetfield of mident * 'term * mident
  81. | Mquestionoption of 'term * mident
  82. | Mequal of type_ * 'term * 'term
  83. | Mnequal of type_ * 'term * 'term
  84. | Mgt of 'term * 'term
  85. | Mge of 'term * 'term
  86. | Mlt of 'term * 'term
  87. | Mle of 'term * 'term
  88. | Mmulticomp of 'term * (comparison_operator * 'term) list
  89. | Mand of 'term * 'term
  90. | Mor of 'term * 'term
  91. | Mgreedyand of 'term * 'term
  92. | Mgreedyor of 'term * 'term
  93. | Mxor of 'term * 'term
  94. | Mnot of 'term
  95. | Mplus of 'term * 'term
  96. | Mminus of 'term * 'term
  97. | Mmult of 'term * 'term
  98. | Mdivrat of 'term * 'term
  99. | Mdiveuc of 'term * 'term
  100. | Mmodulo of 'term * 'term
  101. | Mdivmod of 'term * 'term
  102. | Muminus of 'term
  103. | MthreeWayCmp of 'term * 'term
  104. | Mshiftleft of 'term * 'term
  105. | Mshiftright of 'term * 'term
  106. | Msubnat of 'term * 'term
  107. | Msubmutez of 'term * 'term
  108. | Maddasset of Ident.ident * 'term
  109. | Mputsingleasset of Ident.ident * 'term
  110. | Mputasset of Ident.ident * 'term * 'term
  111. | Maddfield of Ident.ident * Ident.ident * 'term * 'term
  112. | Mremoveasset of Ident.ident * 'term
  113. | Mremovefield of Ident.ident * Ident.ident * 'term * 'term
  114. | Mremoveall of Ident.ident * 'term container_kind_gen
  115. | Mremoveif of Ident.ident * 'term container_kind_gen * (Ident.ident * type_) list * 'term * 'term list
  116. | Mclear of Ident.ident * 'term container_kind_gen
  117. | Mset of Ident.ident * Ident.ident list * 'term * 'term
  118. | Mupdate of Ident.ident * 'term * (mident * assignment_operator * 'term) list
  119. | Mupdateall of Ident.ident * 'term container_kind_gen * (mident * assignment_operator * 'term) list
  120. | Maddupdate of Ident.ident * 'term container_kind_gen * 'term * (mident * assignment_operator * 'term) list
  121. | Mputremove of Ident.ident * 'term container_kind_gen * 'term * 'term
  122. | Mget of Ident.ident * 'term container_kind_gen * 'term
  123. | Mgetsome of Ident.ident * 'term container_kind_gen * 'term
  124. | Mselect of Ident.ident * 'term container_kind_gen * (Ident.ident * type_) list * 'term * 'term list
  125. | Msort of Ident.ident * 'term container_kind_gen * (Ident.ident * sort_kind) list
  126. | Mcontains of Ident.ident * 'term container_kind_gen * 'term
  127. | Mnth of Ident.ident * 'term container_kind_gen * 'term
  128. | Mcount of Ident.ident * 'term container_kind_gen
  129. | Msum of Ident.ident * 'term container_kind_gen * 'term
  130. | Mhead of Ident.ident * 'term container_kind_gen * 'term
  131. | Mtail of Ident.ident * 'term container_kind_gen * 'term
  132. | Mcast of type_ * type_ * 'term
  133. | Mtupleaccess of 'term * Core.big_int
  134. | Mrecupdate of 'term * (Ident.ident * 'term) list
  135. | Mmakeasset of Ident.ident * 'term * 'term
  136. | Mtocontainer of Ident.ident
  137. | Msetadd of type_ * 'term * 'term
  138. | Msetremove of type_ * 'term * 'term
  139. | Msetupdate of type_ * 'term * 'term * 'term
  140. | Msetcontains of type_ * 'term * 'term
  141. | Msetlength of type_ * 'term
  142. | Msetfold of type_ * mident * mident * 'term * 'term * 'term
  143. | Msetinstradd of type_ * 'term assign_kind_gen * 'term
  144. | Msetinstrremove of type_ * 'term assign_kind_gen * 'term
  145. | Mlistprepend of type_ * 'term * 'term
  146. | Mlistlength of type_ * 'term
  147. | Mlistcontains of type_ * 'term * 'term
  148. | Mlistnth of type_ * 'term * 'term
  149. | Mlistreverse of type_ * 'term
  150. | Mlistconcat of type_ * 'term * 'term
  151. | Mlistfold of type_ * mident * mident * 'term * 'term * 'term
  152. | Mlistinstrprepend of type_ * 'term assign_kind_gen * 'term
  153. | Mlistinstrconcat of type_ * 'term assign_kind_gen * 'term
  154. | Mmapput of map_kind * type_ * type_ * 'term * 'term * 'term
  155. | Mmapremove of map_kind * type_ * type_ * 'term * 'term
  156. | Mmapupdate of map_kind * type_ * type_ * 'term * 'term * 'term
  157. | Mmapget of map_kind * type_ * type_ * 'term * 'term * Ident.ident option
  158. | Mmapgetopt of map_kind * type_ * type_ * 'term * 'term
  159. | Mmapcontains of map_kind * type_ * type_ * 'term * 'term
  160. | Mmaplength of map_kind * type_ * type_ * 'term
  161. | Mmapfold of map_kind * type_ * mident * mident * mident * 'term * 'term * 'term
  162. | Mmapinstrput of map_kind * type_ * type_ * 'term assign_kind_gen * 'term * 'term
  163. | Mmapinstrremove of map_kind * type_ * type_ * 'term assign_kind_gen * 'term
  164. | Mmapinstrupdate of map_kind * type_ * type_ * 'term assign_kind_gen * 'term * 'term
  165. | Mmin of 'term * 'term
  166. | Mmax of 'term * 'term
  167. | Mabs of 'term
  168. | Mconcat of 'term * 'term
  169. | Mconcatlist of 'term
  170. | Mslice of 'term * 'term * 'term
  171. | Mlength of 'term
  172. | Misnone of 'term
  173. | Missome of 'term
  174. | Minttonat of 'term
  175. | Mfloor of 'term
  176. | Mceil of 'term
  177. | Mnattostring of 'term
  178. | Mpack of 'term
  179. | Munpack of type_ * 'term
  180. | Msetdelegate of 'term
  181. | Mkeyhashtocontract of 'term
  182. | Mcontracttoaddress of 'term
  183. | Maddresstocontract of type_ * 'term
  184. | Mkeytoaddress of 'term
  185. | Mblake2b of 'term
  186. | Msha256 of 'term
  187. | Msha512 of 'term
  188. | Msha3 of 'term
  189. | Mkeccak of 'term
  190. | Mkeytokeyhash of 'term
  191. | Mchecksignature of 'term * 'term * 'term
  192. | Mtotalvotingpower
  193. | Mvotingpower of 'term
  194. | Mcreateticket of 'term * 'term
  195. | Mreadticket of 'term
  196. | Msplitticket of 'term * 'term * 'term
  197. | Mjointickets of 'term * 'term
  198. | Msapling_empty_state of int
  199. | Msapling_verify_update of 'term * 'term
  200. | Mpairing_check of 'term
  201. | Mopen_chest of 'term * 'term * 'term
  202. | Mnow
  203. | Mtransferred
  204. | Mcaller
  205. | Mbalance
  206. | Msource
  207. | Mselfaddress
  208. | Mselfchainid
  209. | Mmetadata
  210. | Mlevel
  211. | Mvar of mident * 'term var_kind_gen * temp * delta
  212. | Menumval of mident * 'term list * Ident.ident
  213. | Mrateq of 'term * 'term
  214. | Mratcmp of comparison_operator * 'term * 'term
  215. | Mratarith of rat_arith_op * 'term * 'term
  216. | Mratuminus of 'term
  217. | Mrattez of 'term * 'term
  218. | Mnattoint of 'term
  219. | Mnattorat of 'term
  220. | Minttorat of 'term
  221. | Mratdur of 'term * 'term
  222. | Minttodate of 'term
  223. | Mmuteztonat of 'term
  224. | Mforall of mident * type_ * 'term option * 'term
  225. | Mexists of mident * type_ * 'term option * 'term
  226. | Mimply of 'term * 'term
  227. | Mequiv of 'term * 'term
  228. | Msetiterated of 'term iter_container_kind_gen
  229. | Msettoiterate of 'term iter_container_kind_gen
  230. | Mempty of Ident.ident
  231. | Msingleton of Ident.ident * 'term
  232. | Msubsetof of Ident.ident * 'term container_kind_gen * 'term
  233. | Misempty of Ident.ident * 'term
  234. | Munion of Ident.ident * 'term * 'term
  235. | Minter of Ident.ident * 'term * 'term
  236. | Mdiff of Ident.ident * 'term * 'term
Sourceand assign_kind = mterm assign_kind_gen
Sourceand var_kind = mterm var_kind_gen
Sourceand container_kind = mterm container_kind_gen
Sourceand iter_container_kind = mterm iter_container_kind_gen
Sourceand transfer_kind = mterm transfer_kind_gen
Sourceand mterm_gen = {
  1. node : mterm_gen mterm_node;
  2. type_ : type_;
  3. loc : Location.t;
}
Sourceand mterm = mterm_gen
Sourceand mterm__node = mterm mterm_node
Sourceand 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
Sourceand api_container_kind =
  1. | Coll
  2. | View
  3. | Field of Ident.ident * Ident.ident
Sourceand api_list =
  1. | Lprepend of type_
  2. | Lcontains of type_
  3. | Llength of type_
  4. | Lnth of type_
  5. | Lreverse of type_
Sourceand 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_
Sourceand api_internal =
  1. | RatEq
  2. | RatCmp
  3. | RatArith
  4. | RatUminus
  5. | RatTez
  6. | RatDur
Sourceand api_storage_node =
  1. | APIAsset of api_asset
  2. | APIList of api_list
  3. | APIBuiltin of api_builtin
  4. | APIInternal of api_internal
Sourceand api_loc =
  1. | OnlyFormula
  2. | OnlyExec
  3. | ExecFormula
Sourceand api_storage = {
  1. node_item : api_storage_node;
  2. api_loc : api_loc;
}
Sourceand api_verif =
  1. | StorageInvariant of Ident.ident * Ident.ident * mterm
Sourceand 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
Sourceand security_role = lident
Sourceand security_entry =
  1. | Sany
  2. | Sentry of lident list
Sourceval show_iter_container_kind : iter_container_kind -> Ppx_deriving_runtime.string
Sourceval pp_mterm__node : Ppx_deriving_runtime.Format.formatter -> mterm__node -> Ppx_deriving_runtime.unit
Sourceval show_mterm__node : mterm__node -> Ppx_deriving_runtime.string
Sourceval show_api_container_kind : api_container_kind -> Ppx_deriving_runtime.string
Sourceval pp_entry_description : Ppx_deriving_runtime.Format.formatter -> entry_description -> Ppx_deriving_runtime.unit
Sourceval show_entry_description : entry_description -> Ppx_deriving_runtime.string
Sourceval pp_security_entry : Ppx_deriving_runtime.Format.formatter -> security_entry -> Ppx_deriving_runtime.unit
Sourceval show_security_entry : security_entry -> Ppx_deriving_runtime.string
Sourcetype label_term = {
  1. label : mident;
  2. term : mterm;
  3. loc : Location.t;
}
Sourcetype model_type =
  1. | MTvar
  2. | MTconst
  3. | MTasset of Ident.ident
  4. | MTstate
  5. | MTenum of Ident.ident
Sourcetype storage_item = {
  1. id : mident;
  2. model_type : model_type;
  3. typ : type_;
  4. const : bool;
  5. ghost : bool;
  6. default : mterm;
  7. loc : Location.t;
}
Sourcetype storage = storage_item list
Sourcetype enum_item = {
  1. name : mident;
  2. args : type_ list;
  3. invariants : label_term list;
}
Sourcetype variable_kind =
  1. | VKconstant
  2. | VKvariable
Sourcetype var = {
  1. name : mident;
  2. type_ : type_;
  3. original_type : type_;
  4. kind : variable_kind;
  5. default : mterm option;
  6. invariants : label_term list;
  7. loc : Location.t;
}
Sourcetype enum = {
  1. name : mident;
  2. values : enum_item list;
  3. initial : mident;
}
Sourcetype asset_item = {
  1. name : mident;
  2. type_ : type_;
  3. original_type : type_;
  4. default : mterm option;
  5. shadow : bool;
  6. loc : Location.t;
}
Sourcetype 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. invariants : label_term list;
  8. init : mterm list;
  9. loc : Location.t;
}
Sourcetype position =
  1. | Ptuple of Ident.ident list
  2. | Pnode of position list
Sourcetype record_field = {
  1. name : mident;
  2. type_ : type_;
  3. loc : Location.t;
}
Sourcetype record = {
  1. name : mident;
  2. fields : record_field list;
  3. pos : position;
  4. loc : Location.t;
}
Sourcetype function_ = {
  1. name : mident;
}
Sourceval pp_function_ : Ppx_deriving_runtime.Format.formatter -> function_ -> Ppx_deriving_runtime.unit
Sourceval show_function_ : function_ -> Ppx_deriving_runtime.string
Sourcetype entry = {
  1. name : mident;
}
Sourceval pp_entry : Ppx_deriving_runtime.Format.formatter -> entry -> Ppx_deriving_runtime.unit
Sourceval show_entry : entry -> Ppx_deriving_runtime.string
Sourcetype argument = mident * type_ * mterm option
Sourcetype function_struct = {
  1. name : mident;
  2. args : argument list;
  3. eargs : argument list;
  4. stovars : Ident.ident list;
  5. body : mterm;
  6. loc : Location.t;
}
Sourcetype view_visibility =
  1. | VVonchain
  2. | VVoffchain
  3. | VVonoffchain
Sourcetype function_node =
  1. | Function of function_struct * type_
  2. | Getter of function_struct * type_
  3. | View of function_struct * type_ * view_visibility
  4. | Entry of function_struct
Sourcetype signature = {
  1. name : mident;
  2. args : argument list;
  3. ret : type_ option;
}
Sourcetype variable = {
  1. decl : argument;
  2. kind : variable_kind;
  3. loc : Location.t;
}
Sourcetype predicate = {
  1. name : mident;
  2. args : (mident * type_) list;
  3. body : mterm;
  4. loc : Location.t;
}
Sourcetype definition = {
  1. name : mident;
  2. typ : type_;
  3. var : mident;
  4. body : mterm;
  5. loc : Location.t;
}
Sourcetype invariant = {
  1. label : mident;
  2. formulas : mterm list;
}
Sourcetype fail = {
  1. label : mident;
  2. fid : mident option;
  3. arg : mident;
  4. atype : type_;
  5. formula : mterm;
  6. loc : Location.t;
}
Sourcetype spec_mode =
  1. | Post
  2. | Assert
Sourcetype postcondition = {
  1. name : mident;
  2. mode : spec_mode;
  3. formula : mterm;
  4. invariants : invariant list;
  5. uses : mident list;
}
Sourcetype assert_ = {
  1. name : mident;
  2. label : mident;
  3. formula : mterm;
  4. invariants : invariant list;
  5. uses : mident list;
}
Sourceval pp_assert_ : Ppx_deriving_runtime.Format.formatter -> assert_ -> Ppx_deriving_runtime.unit
Sourceval show_assert_ : assert_ -> Ppx_deriving_runtime.string
Sourcetype specification = {
  1. predicates : predicate list;
  2. definitions : definition list;
  3. lemmas : label_term list;
  4. theorems : label_term list;
  5. fails : fail list;
  6. variables : variable list;
  7. invariants : (mident * label_term list) list;
  8. effects : mterm list;
  9. postconditions : postcondition list;
  10. loc : Location.t;
}
Sourcetype 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
Sourcetype security_predicate = {
  1. s_node : security_node;
  2. loc : Location.t;
}
Sourceval show_security_predicate : security_predicate -> Ppx_deriving_runtime.string
Sourcetype security_item = {
  1. label : lident;
  2. predicate : security_predicate;
  3. loc : Location.t;
}
Sourcetype security = {
  1. items : security_item list;
  2. loc : Location.t;
}
Sourcetype function__ = {
  1. node : function_node;
  2. spec : specification option;
}
Sourceval pp_function__ : Ppx_deriving_runtime.Format.formatter -> function__ -> Ppx_deriving_runtime.unit
Sourceval show_function__ : function__ -> Ppx_deriving_runtime.string
Sourcetype decl_node =
  1. | Dvar of var
  2. | Denum of enum
  3. | Dasset of asset
  4. | Drecord of record
  5. | Devent of record
Sourcetype parameter = {
  1. name : mident;
  2. typ : type_;
  3. default : mterm option;
  4. value : mterm option;
  5. const : bool;
  6. loc : Location.t;
}
Sourcetype metadata_kind =
  1. | MKuri of string Location.loced
  2. | MKjson of string Location.loced
Sourcetype odel_asset = {
  1. name : Ident.ident;
  2. container_type : type_;
  3. key_type : type_;
  4. value_type : type_;
}
Sourcetype odel_record = {
  1. name : Ident.ident;
  2. current_type : type_;
}
Sourcetype odel_enum = {
  1. name : Ident.ident;
  2. current_type : type_;
}
Sourcetype original_decl =
  1. | ODAsset of odel_asset
  2. | ODRecord of odel_record
  3. | ODEnum of odel_enum
Sourcetype extra = {
  1. original_decls : original_decl list;
}
Sourcetype import_kind_node =
  1. | INMichelson of michelson_struct
  2. | INArchetype
Sourcetype import = {
  1. name : lident;
  2. path : lident;
  3. kind_node : import_kind_node;
  4. views : (Ident.ident * (type_ * type_)) list;
  5. entrypoints : (Ident.ident * type_) list;
}
Sourcetype model = {
  1. name : lident;
  2. parameters : parameter list;
  3. imports : import list;
  4. metadata : metadata_kind option;
  5. api_items : api_storage list;
  6. api_verif : api_verif list;
  7. decls : decl_node list;
  8. storage : storage;
  9. functions : function__ list;
  10. specification : specification;
  11. security : security;
  12. extra : extra;
  13. loc : Location.t;
}
Sourcetype property =
  1. | Ppostcondition of postcondition * Ident.ident option
  2. | PstorageInvariant of label_term * Ident.ident
  3. | PsecurityPredicate of security_item
Sourceval mk_pattern : ?loc:Location.t -> pattern_node -> pattern
Sourceval mk_mterm : ?loc:Location.t -> mterm_gen mterm_node -> type_ -> mterm
Sourceval mk_label_term : ?loc:Location.t -> mterm -> mident -> label_term
Sourceval mk_variable : ?loc:Location.t -> argument -> variable_kind -> variable
Sourceval mk_predicate : ?args:(mident * type_) list -> ?loc:Location.t -> mident -> mterm -> predicate
Sourceval mk_definition : ?loc:Location.t -> mident -> type_ -> mident -> mterm -> definition
Sourceval mk_invariant : ?formulas:mterm list -> mident -> invariant
Sourceval mk_fail : ?loc:Location.t -> mident -> mident option -> mident -> type_ -> mterm -> fail
Sourceval mk_postcondition : ?invariants:invariant list -> ?uses:mident list -> mident -> spec_mode -> mterm -> postcondition
Sourceval mk_assert : ?invariants:invariant list -> ?uses:mident list -> mident -> mident -> mterm -> assert_
Sourceval mk_specification : ?predicates:predicate list -> ?definitions:definition list -> ?lemmas:label_term list -> ?theorems:label_term list -> ?fails:fail list -> ?variables:variable list -> ?invariants:(mident * label_term list) list -> ?effects:mterm list -> ?postconditions:postcondition list -> ?loc:Location.t -> unit -> specification
Sourceval mk_security_predicate : ?loc:Location.t -> security_node -> security_predicate
Sourceval mk_security_item : ?loc:Location.t -> lident -> security_predicate -> security_item
Sourceval mk_security : ?items:security_item list -> ?loc:Location.t -> unit -> security
Sourceval mk_var : ?invariants:label_term list -> ?default:mterm -> ?loc:Location.t -> mident -> type_ -> type_ -> variable_kind -> var
Sourceval mk_enum : ?values:enum_item list -> mident -> mident -> enum
Sourceval mk_enum_item : ?args:type_ list -> ?invariants:label_term list -> mident -> enum_item
Sourceval mk_asset : ?values:asset_item list -> ?sort:mident list -> ?map_kind:map_kind -> ?state:lident -> ?keys:Ident.ident list -> ?invariants:label_term list -> ?init:mterm list -> ?loc:Location.t -> mident -> asset
Sourceval mk_asset_item : ?default:mterm -> ?shadow:bool -> ?loc:Location.t -> mident -> type_ -> type_ -> asset_item
Sourceval mk_record : ?fields:record_field list -> ?pos:position -> ?loc:Location.t -> mident -> record
Sourceval mk_record_field : ?loc:Location.t -> mident -> type_ -> record_field
Sourceval mk_storage_item : ?const:bool -> ?ghost:bool -> ?loc:Location.t -> mident -> model_type -> type_ -> mterm -> storage_item
Sourceval mk_function_struct : ?args:argument list -> ?eargs:argument list -> ?stovars:Ident.ident list -> ?loc:Location.t -> mident -> mterm -> function_struct
Sourceval mk_function : ?spec:specification -> function_node -> function__
Sourceval mk_odel_asset : Ident.ident -> type_ -> type_ -> type_ -> odel_asset
Sourceval mk_odel_record : Ident.ident -> type_ -> odel_record
Sourceval mk_odel_enum : Ident.ident -> type_ -> odel_enum
Sourceval mk_extra : ?original_decls:original_decl list -> unit -> extra
Sourceval mk_model : ?parameters:parameter list -> ?imports:import list -> ?metadata:metadata_kind -> ?api_items:api_storage list -> ?api_verif:api_verif list -> ?decls:decl_node list -> ?functions:function__ list -> ?storage:storage -> ?specification:specification -> ?security:security -> ?extra:extra -> ?loc:Location.t -> lident -> model
Sourceval mktype : ?annot:lident -> ntype -> type_
Sourceval get_ntype : (ntype * 'a) -> ntype
Sourceval get_atype : ('a * lident option) -> lident option
Sourceval mkannot : string -> lident -> lident option
Sourceval mkfannot : lident -> lident option
Sourceval mkvannot : lident -> lident option
Sourceval tunit : type_
Sourceval tbool : type_
Sourceval tnat : type_
Sourceval tint : type_
Sourceval tstring : type_
Sourceval tbytes : type_
Sourceval ttez : type_
Sourceval tduration : type_
Sourceval tkey : type_
Sourceval tkeyhash : type_
Sourceval tdate : type_
Sourceval ttimestamp : type_
Sourceval taddress : type_
Sourceval tenum : lident -> type_
Sourceval tstate : type_
Sourceval tstorage : type_
Sourceval trecord : lident -> type_
Sourceval tevent : lident -> type_
Sourceval toption : type_ -> type_
Sourceval tset : type_ -> type_
Sourceval tlist : type_ -> type_
Sourceval tmap : type_ -> type_ -> type_
Sourceval tbig_map : type_ -> type_ -> type_
Sourceval titerable_big_map : type_ -> type_ -> type_
Sourceval tor : type_ -> type_ -> type_
Sourceval tlambda : type_ -> type_ -> type_
Sourceval ttuple : type_ list -> type_
Sourceval trat : type_
Sourceval toperation : type_
Sourceval tsignature : type_
Sourceval tcontract : type_ -> type_
Sourceval tticket : type_ -> type_
Sourceval tsapling_state : int -> type_
Sourceval tsapling_transaction : int -> type_
Sourceval tchainid : type_
Sourceval tbls12_381_fr : type_
Sourceval tbls12_381_g1 : type_
Sourceval tbls12_381_g2 : type_
Sourceval tnever : type_
Sourceval tchest : type_
Sourceval tchest_key : type_
Sourceval tasset : lident -> type_
Sourceval tcollection : lident -> type_
Sourceval taggregate : lident -> type_
Sourceval tpartition : lident -> type_
Sourceval tassetcontainer : lident -> type_
Sourceval tassetkey : lident -> type_
Sourceval tassetvalue : lident -> type_
Sourceval tview : lident -> type_
Sourceval toperations : type_
Sourceval tmetadata : type_
Sourceval mk_bool : bool -> mterm
Sourceval mk_string : string -> mterm
Sourceval mk_bytes : string -> mterm
Sourceval mk_chain_id : string -> mterm
Sourceval mk_key : string -> mterm
Sourceval mk_key_hash : string -> mterm
Sourceval mk_signature : string -> mterm
Sourceval mk_bls12_381_fr : string -> mterm
Sourceval mk_bls12_381_fr_n : Core.big_int -> mterm
Sourceval mk_bls12_381_g1 : string -> mterm
Sourceval mk_bls12_381_g2 : string -> mterm
Sourceval mk_bnat : Core.big_int -> mterm
Sourceval mk_nat : int -> mterm
Sourceval mk_bint : Core.big_int -> mterm
Sourceval mk_int : int -> mterm
Sourceval mk_address : string -> mterm
Sourceval unit : mterm
Sourceval mk_sapling_state_empty : int -> mterm
Sourceval mk_sapling_transaction : int -> string -> mterm
Sourceval mk_chest : string -> mterm
Sourceval mk_chest_key : string -> mterm
Sourceval mk_date : Core.date -> mterm
Sourceval mk_duration : Core.duration -> mterm
Sourceval mk_pair : mterm_gen -> mterm_gen -> mterm
Sourceval mtrue : mterm
Sourceval mfalse : mterm
Sourceval mnow : mterm
Sourceval mtransferred : mterm
Sourceval mcaller : mterm
Sourceval mbalance : mterm
Sourceval msource : mterm
Sourceval mselfaddress : mterm
Sourceval mselfchainid : mterm
Sourceval mmetadata : mterm
Sourceval mlevel : mterm
Sourceval mk_mvar : mident -> type_ -> mterm
Sourceval mk_pvar : mident -> type_ -> mterm
Sourceval mk_svar : mident -> type_ -> mterm
Sourceval mk_state_var : 'a -> mterm
Sourceval mk_enum_value : ?args:mterm_gen list -> mident -> Ident.ident Location.loced -> mterm
Sourceval mk_state_value : mident -> mterm
Sourceval mk_btez : Core.big_int -> mterm
Sourceval mk_tez : int -> mterm
Sourceval mk_tuple : mterm list -> mterm
Sourceval mk_letin : mident -> mterm_gen -> mterm_gen -> mterm
Sourceval mk_tupleaccess : int -> mterm -> mterm
Sourceval mk_min : mterm -> mterm -> type_ -> mterm
Sourceval mk_max : mterm -> mterm -> type_ -> mterm
Sourceval mk_abs : mterm -> mterm
Sourceval mk_nat_to_int : mterm -> mterm
Sourceval mk_some : mterm_gen -> mterm
Sourceval mk_left : type_ -> mterm_gen -> mterm
Sourceval mk_right : type_ -> mterm_gen -> mterm
Sourceval mk_none : type_ -> mterm
Sourceval mk_pack : mterm_gen -> mterm
Sourceval mk_unpack : type_ -> mterm_gen -> mterm
Sourceval mk_blake2b : mterm_gen -> mterm
Sourceval mk_sha256 : mterm_gen -> mterm
Sourceval mk_sha512 : mterm_gen -> mterm
Sourceval mk_keytokeyhash : mterm_gen -> mterm
Sourceval mk_checksignature : mterm_gen -> mterm_gen -> mterm_gen -> mterm
Sourceval mk_rat : int -> int -> mterm
Sourceval mk_muteztonat : mterm_gen -> mterm
Sourceval mk_nattoint : mterm_gen -> mterm
Sourceval mk_metadata : (mterm_gen * mterm_gen) list -> mterm
Sourceval fail : string -> mterm
Sourceval failg : mterm -> mterm
Sourceval failc : fail_type -> mterm
Sourceval mnot : mterm_gen -> mterm
Sourceval seq : mterm_gen list -> mterm
Sourceval skip : mterm
Sourceval operations : mterm
Sourceval mk_get_entrypoint : type_ -> lident -> mterm -> mterm
Sourceval mk_mkoperation : mterm_gen -> mterm_gen -> mterm_gen -> mterm
Sourceval mk_mkevent : type_ -> mident -> mterm_gen -> mterm
Sourceval mk_transfer_op : mterm_gen -> mterm
Sourceval fail_msg_ASSET_NOT_FOUND : string
Sourceval fail_msg_DIV_BY_ZERO : string
Sourceval fail_msg_INVALID_CALLER : string
Sourceval fail_msg_INVALID_CONDITION : string
Sourceval fail_msg_INVALID_SOURCE : string
Sourceval fail_msg_INVALID_STATE : string
Sourceval fail_msg_KEY_EXISTS : string
Sourceval fail_msg_KEY_EXISTS_OR_NOT_FOUND : string
Sourceval fail_msg_NAT_NEG_ASSIGN : string
Sourceval fail_msg_NO_TRANSFER : string
Sourceval fail_msg_NOT_FOUND : string
Sourceval fail_msg_OPTION_IS_NONE : string
Sourceval fail_msg_OUT_OF_BOUND : string
Sourceval fail_msg_ENTRY_NOT_FOUND : string
Sourceval fail_msg_EMPTY_LIST : string
Sourceval fail_msg_NOT_IMPLICIT_CONTRACT : string
Sourceval fail_msg_KEY_NOT_FOUND : string
Sourceval fail_msg_INVALID_EVENT_CONTRACT : string
Sourceval cmp_ident : Ident.ident -> Ident.ident -> bool
Sourceval cmp_big_int : Core.big_int -> Core.big_int -> bool
Sourceval cmp_int : int -> int -> bool
Sourceval cmp_lident : lident -> lident -> bool
Sourceval cmp_bool : bool -> bool -> bool
Sourceval cmp_assign_op : assignment_operator -> assignment_operator -> bool
Sourceval cmp_currency : currency -> currency -> bool
Sourceval cmp_container : container -> container -> bool
Sourceval cmp_btyp : btyp -> btyp -> bool
Sourceval cmp_vset : vset -> vset -> bool
Sourceval cmp_trtyp : trtyp -> trtyp -> bool
Sourceval cmp_comparison_operator : comparison_operator -> comparison_operator -> bool
Sourceval cmp_rat_arith_op : rat_arith_op -> rat_arith_op -> bool
Sourceval cmp_entry_description : entry_description -> entry_description -> bool
Sourceval cmp_security_role : lident -> lident -> bool
Sourceval cmp_security_entry : security_entry -> security_entry -> bool
Sourceval cmp_fail_type : (mterm -> mterm -> bool) -> fail_type -> fail_type -> bool
Sourceval cmp_ntype : ntype -> ntype -> bool
Sourceval cmp_type : ?with_annot:bool -> type_ -> type_ -> bool
Sourceval cmp_pattern_node : (mident -> mident -> bool) -> pattern_node -> pattern_node -> bool
Sourceval cmp_pattern : pattern -> pattern -> bool
Sourceval cmp_for_ident : (mident -> mident -> bool) -> for_ident -> for_ident -> bool
Sourceval cmp_mterm_node : (mterm -> mterm -> bool) -> (mident -> mident -> bool) -> mterm mterm_node -> mterm mterm_node -> bool
Sourceval cmp_mterm : mterm -> mterm -> bool
Sourceval cmp_container_kind : api_container_kind -> api_container_kind -> bool
Sourceval cmp_api_item_node : api_storage_node -> api_storage_node -> bool
Sourceval cmp_api_loc : api_loc -> api_loc -> bool
Sourceval cmp_api_storage : api_storage -> api_storage -> bool
Sourceval cmp_api_verif : api_verif -> api_verif -> bool
Sourceval map_ptyp : (type_ -> type_) -> ntype -> ntype
Sourceval map_type : (type_ -> type_) -> type_ -> type_
Sourceval map_for_ident : (mident -> mident) -> for_ident -> for_ident
Sourceval map_assign_kind : (Ident.ident -> Ident.ident) -> (mident -> mident) -> ('a -> 'b) -> 'a assign_kind_gen -> 'b assign_kind_gen
Sourceval map_var_kind : ('a -> 'b) -> 'a var_kind_gen -> 'b var_kind_gen
Sourceval map_temp : (Ident.ident -> Ident.ident) -> temp -> temp
Sourceval map_delta : delta -> delta
Sourceval map_container_kind : (Ident.ident -> Ident.ident) -> ('a -> 'b) -> 'a container_kind_gen -> 'b container_kind_gen
Sourceval map_iter_container_kind : (Ident.ident -> Ident.ident) -> ('a -> 'b) -> 'a iter_container_kind_gen -> 'b iter_container_kind_gen
Sourceval map_transfer_kind : (Ident.ident -> Ident.ident) -> (type_ -> type_) -> ('a -> 'b) -> 'a transfer_kind_gen -> 'b transfer_kind_gen
Sourceval map_term_node_internal : (Ident.ident -> Ident.ident) -> (mident -> mident) -> (type_ -> type_) -> (mterm -> mterm) -> mterm mterm_node -> mterm mterm_node
Sourceval map_mterm : (mterm -> mterm) -> ?fi:(Ident.ident -> Ident.ident) -> ?g:(mident -> mident) -> ?ft:(type_ -> type_) -> mterm -> mterm
Sourcetype 't ctx_model_gen = {
  1. formula : bool;
  2. fs : function_struct option;
  3. label : mident option;
  4. spec_id : mident option;
  5. invariant_id : mident option;
  6. custom : 't;
}
Sourcetype ctx_model = unit ctx_model_gen
Sourceval mk_ctx_model : ?formula:bool -> ?fs:function_struct -> ?label:mident -> ?spec_id:mident -> ?invariant_id:mident -> 't -> 't ctx_model_gen
Sourceval map_mterm_model_exec : 't -> ('t ctx_model_gen -> mterm -> mterm) -> model -> model
Sourceval map_specification : 't ctx_model_gen -> ('t ctx_model_gen -> mterm -> mterm) -> specification -> specification
Sourceval map_mterm_model_formula : 't -> ('t ctx_model_gen -> mterm -> mterm) -> model -> model
Sourceval map_mterm_model_gen : 't -> ('t ctx_model_gen -> mterm -> mterm) -> model -> model
Sourceval map_mterm_model : (unit ctx_model_gen -> mterm -> mterm) -> model -> model
Sourceval fold_assign_kind : ('a -> 'b -> 'a) -> 'a -> 'b assign_kind_gen -> 'a
Sourceval fold_var_kind : ('a -> 'b -> 'a) -> 'a -> 'b var_kind_gen -> 'a
Sourceval fold_container_kind : ('a -> 'b -> 'a) -> 'a -> 'b container_kind_gen -> 'a
Sourceval fold_iter_container_kind : ('a -> 'b -> 'a) -> 'a -> 'b iter_container_kind_gen -> 'a
Sourceval fold_transfer_kind : ('a -> 'b -> 'a) -> 'a -> 'b transfer_kind_gen -> 'a
Sourceval fold_term : ('a -> mterm -> 'a) -> 'a -> mterm -> 'a
Sourceval fold_map_term_list : ('a -> 'b -> 'term * 'a) -> 'a -> 'b list -> 'term list * 'a
Sourceval fold_map_assign_kind : ('a -> 'b -> 'c * 'a) -> 'a -> 'b assign_kind_gen -> 'c assign_kind_gen * 'a
Sourceval fold_map_var_kind : ('a -> 'b -> 'c * 'a) -> 'a -> 'b var_kind_gen -> 'c var_kind_gen * 'a
Sourceval fold_map_container_kind : ('a -> 'b -> 'c * 'a) -> 'a -> 'b container_kind_gen -> 'c container_kind_gen * 'a
Sourceval fold_map_iter_container_kind : ('a -> 'b -> 'c * 'a) -> 'a -> 'b iter_container_kind_gen -> 'c iter_container_kind_gen * 'a
Sourceval fold_map_transfer_kind : ('a -> 'b -> 'c * 'a) -> 'a -> 'b transfer_kind_gen -> 'c transfer_kind_gen * 'a
Sourceval fold_map_term : (mterm mterm_node -> mterm) -> ('a -> mterm -> mterm * 'a) -> 'a -> mterm -> mterm * 'a
Sourceval fold_left : ('a -> 'b -> 'b) -> 'a list -> 'b -> 'b
Sourceval fold_label_term : 't ctx_model_gen -> ('t ctx_model_gen -> 'a -> mterm -> 'a) -> label_term -> 'a -> 'a
Sourceval fold_specification : 't ctx_model_gen -> ('t ctx_model_gen -> 'a -> mterm -> 'a) -> specification -> 'a -> 'a
Sourceval fold_model : (unit ctx_model_gen -> 'a -> mterm -> 'a) -> model -> 'a -> 'a
Sourcetype 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
Sourceval map_model : (kind_ident -> Ident.ident -> Ident.ident) -> (type_ -> type_) -> (mterm -> mterm) -> model -> model
Sourceval replace_ident_model : (kind_ident -> Ident.ident -> Ident.ident) -> model -> model
Sourceval merge_seq : mterm -> mterm -> mterm
Sourceval extract_list : mterm -> mterm -> mterm list
Sourcetype effect =
  1. | Eadded of Ident.ident
  2. | Eremoved of Ident.ident
  3. | Eupdated of Ident.ident
Sourcemodule 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