archetype
  1. Overview
  2. Docs
package archetype
Legend:
Library
Module
Module type
Parameter
Class
Class type
val pp_ident : Format.formatter -> string -> unit
val pp_lident : Format.formatter -> string Location.loced -> unit
type container =
  1. | Collection
  2. | Aggregate
  3. | Partition
  4. | AssetContainer
  5. | AssetKey
  6. | AssetValue
  7. | AssetView
val show_container : container -> Ppx_deriving_runtime.string
type currency =
  1. | Utz
val show_currency : currency -> Ppx_deriving_runtime.string
type vtyp =
  1. | VTunit
  2. | VTbool
  3. | VTnat
  4. | VTint
  5. | VTrational
  6. | VTdate
  7. | VTduration
  8. | VTstring
  9. | VTaddress
  10. | VTcurrency
  11. | VTkey
  12. | VTkeyhash
  13. | VTsignature
  14. | VTbytes
  15. | VTchainid
  16. | VTbls12_381_fr
  17. | VTbls12_381_g1
  18. | VTbls12_381_g2
  19. | VTnever
  20. | VTchest
  21. | VTchest_key
  22. | VTtx_rollup_l2_address
type trtyp =
  1. | TRentry
  2. | TRaction
  3. | TRasset
  4. | TRfield
type ptyp =
  1. | Tnamed of int
  2. | Tasset of lident
  3. | Trecord of lident
  4. | Tevent of lident
  5. | Tenum of lident
  6. | Tbuiltin of vtyp
  7. | Tcontainer of type_ * container
  8. | Tset of type_
  9. | Tlist 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. | Tlambda of type_ * type_
  15. | Ttuple of type_ list
  16. | Toption of type_
  17. | Toperation
  18. | Tcontract of type_
  19. | Ttrace of trtyp
  20. | Tticket of type_
  21. | Tsapling_state of int
  22. | Tsapling_transaction of int
and type_ = ptyp
val pp_type_ : Ppx_deriving_runtime.Format.formatter -> type_ -> Ppx_deriving_runtime.unit
val show_type_ : type_ -> Ppx_deriving_runtime.string
type logical_operator =
  1. | And
  2. | Or
  3. | Xor
  4. | Imply
  5. | Equiv
val show_logical_operator : logical_operator -> Ppx_deriving_runtime.string
type comparison_operator =
  1. | Equal
  2. | Nequal
  3. | Gt
  4. | Ge
  5. | Lt
  6. | Le
val show_comparison_operator : comparison_operator -> 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 arithmetic_operator =
  1. | Plus
  2. | Minus
  3. | Mult
  4. | DivRat
  5. | DivEuc
  6. | Modulo
  7. | DivMod
  8. | ThreeWayCmp
  9. | ShiftLeft
  10. | ShiftRight
val show_arithmetic_operator : arithmetic_operator -> Ppx_deriving_runtime.string
type unary_arithmetic_operator =
  1. | Uminus
val show_unary_arithmetic_operator : unary_arithmetic_operator -> Ppx_deriving_runtime.string
type operator = [
  1. | `Logical of logical_operator
  2. | `Cmp of comparison_operator
  3. | `Arith of arithmetic_operator
  4. | `Unary of unary_arithmetic_operator
  5. | `Assign of assignment_operator
]
val show_operator : operator -> Ppx_deriving_runtime.string
type const =
  1. | Cstate
  2. | Cnow
  3. | Ctransferred
  4. | Ccaller
  5. | Cfail
  6. | Cbalance
  7. | Csource
  8. | Cselfaddress
  9. | Cconditions
  10. | Centries
  11. | Cnone
  12. | Cany
  13. | Canyentry
  14. | Cresult
  15. | Cselfchainid
  16. | Coperations
  17. | Cmetadata
  18. | Clevel
  19. | Cadd
  20. | Cput
  21. | Caddupdate
  22. | Cceil
  23. | Cclear
  24. | Cconcat
  25. | Ccontains
  26. | Ccount
  27. | Cfloor
  28. | Cget
  29. | Cgetopt
  30. | Cisnone
  31. | Cissome
  32. | Cinttonat
  33. | Clength
  34. | Cmax
  35. | Cmin
  36. | Cnth
  37. | Cpack
  38. | Cremove
  39. | Cremoveall
  40. | Cremoveif
  41. | Cselect
  42. | Cslice
  43. | Csort
  44. | Csum
  45. | Cunpack
  46. | Cupdate
  47. | Cupdateall
  48. | Cmakeoperation
  49. | Cmakeevent
  50. | Cnattostring
  51. | Cexec
  52. | Capply
  53. | Cinttodate
  54. | CmutezToNat
  55. | Csetdelegate
  56. | Ckeyhashtocontract
  57. | Csubnat
  58. | Csubmutez
  59. | Cgreedyand
  60. | Cgreedyor
  61. | CmakeAsset
  62. | CtoContainer
  63. | CputRemove
  64. | CgetEntrypoint
  65. | CrequireEntrypoint
  66. | CcallView
  67. | CimportCallView
  68. | Csadd
  69. | Csremove
  70. | Csupdate
  71. | Cscontains
  72. | Cslength
  73. | Chead
  74. | Ctail
  75. | Cabs
  76. | Cprepend
  77. | Creverse
  78. | Cmput
  79. | Cmremove
  80. | Cmupdate
  81. | Cmget
  82. | Cmgetopt
  83. | Cmcontains
  84. | Cmlength
  85. | Cblake2b
  86. | Csha256
  87. | Csha512
  88. | Csha3
  89. | Ckeccak
  90. | Cchecksignature
  91. | Ckeytokeyhash
  92. | Ccontracttoaddress
  93. | Caddresstocontract
  94. | Ckeytoaddress
  95. | Ctotalvotingpower
  96. | Cvotingpower
  97. | Ccreateticket
  98. | Creadticket
  99. | Csplitticket
  100. | Cjointickets
  101. | Csapling_empty_state
  102. | Csapling_verify_update
  103. | Cpairing_check
  104. | Copen_chest
  105. | Cemit
  106. | Cbefore
  107. | Citerated
  108. | Ctoiterate
  109. | Cempty
  110. | Cisempty
  111. | Csingleton
  112. | Csubsetof
  113. | Cunion
  114. | Cinter
  115. | Cdiff
type 'node struct_poly = {
  1. node : 'node;
  2. type_ : type_ option;
  3. label : Ident.ident option;
  4. loc : Location.t;
}
type 'id qualid_gen = 'id qualid_node struct_poly
and 'id qualid_node =
  1. | Qident of 'id
  2. | Qdot of 'id qualid_gen * 'id
type qualid = lident qualid_gen
val show_qualid : qualid -> Ppx_deriving_runtime.string
type 'id sexpr_gen = 'id sexpr_node struct_poly
and 'id sexpr_node =
  1. | Sref of 'id
  2. | Sor of 'id sexpr_gen * 'id sexpr_gen
  3. | Sany
type sexpr = lident sexpr_gen
type bval_gen = bval_node struct_poly
and bval_node =
  1. | BVint of Core.big_int
  2. | BVnat of Core.big_int
  3. | BVbool of bool
  4. | BVrational of Core.big_int * Core.big_int
  5. | BVdate of Core.date
  6. | BVstring of string
  7. | BVcurrency of currency * Core.big_int
  8. | BVaddress of string
  9. | BVtx_rollup_l2_address of string
  10. | BVduration of Core.duration
  11. | BVbytes of string
  12. | BVunit
val show_bval_gen : bval_gen -> Ppx_deriving_runtime.string
val show_bval_node : bval_node -> Ppx_deriving_runtime.string
type bval = bval_gen
type quantifier =
  1. | Forall
  2. | Exists
val show_quantifier : quantifier -> Ppx_deriving_runtime.string
type 'id pattern_gen = 'id pattern_node struct_poly
and 'id pattern_node =
  1. | Mwild
  2. | Mconst of 'id * 'id list
type pattern = lident pattern_gen
val show_pattern : pattern -> Ppx_deriving_runtime.string
type 'id call_kind =
  1. | Cid of 'id
  2. | Cconst of const
type var_temporality =
  1. | VTbefore
  2. | VTat of Ident.ident
  3. | VTnone
val show_var_temporality : var_temporality -> Ppx_deriving_runtime.string
type vset =
  1. | Vadded
  2. | Vremoved
  3. | Vunmoved
  4. | Vnone
type michelson_struct = {
  1. ms_content : Michelson.obj_micheline;
}
val show_michelson_struct : michelson_struct -> Ppx_deriving_runtime.string
type 'id term_node =
  1. | Pquantifer of quantifier * 'id * 'id term_gen option * type_ * 'id term_gen
  2. | Pif of 'id term_gen * 'id term_gen * 'id term_gen
  3. | Pmatchwith of 'id term_gen * ('id pattern_gen * 'id term_gen) list
  4. | Pmatchoption of 'id term_gen * 'id * 'id term_gen * 'id term_gen
  5. | Pmatchor of 'id term_gen * 'id * 'id term_gen * 'id * 'id term_gen
  6. | Pmatchlist of 'id term_gen * 'id * 'id * 'id term_gen * 'id term_gen
  7. | Pfold of 'id term_gen * 'id * 'id term_gen
  8. | Pmap of 'id term_gen * 'id * 'id term_gen
  9. | Pcall of 'id term_gen option * 'id call_kind * type_ list * 'id term_arg list
  10. | Plogical of logical_operator * 'id term_gen * 'id term_gen
  11. | Pnot of 'id term_gen
  12. | Pmulticomp of 'id term_gen * (comparison_operator * 'id term_gen) list
  13. | Pcomp of comparison_operator * 'id term_gen * 'id term_gen
  14. | Parith of arithmetic_operator * 'id term_gen * 'id term_gen
  15. | Puarith of unary_arithmetic_operator * 'id term_gen
  16. | Precord of 'id term_gen list
  17. | Precupdate of 'id term_gen * ('id * 'id term_gen) list
  18. | Pletin of 'id * 'id term_gen * type_ option * 'id term_gen * 'id term_gen option
  19. | Pdeclvar of 'id * type_ option * 'id term_gen * bool
  20. | Pvar of var_temporality * vset * 'id
  21. | Parray of 'id term_gen list
  22. | Plit of bval
  23. | Pdot of 'id term_gen * 'id
  24. | Pquestiondot of 'id term_gen * 'id
  25. | Pconst of const
  26. | Ptuple of 'id term_gen list
  27. | Ptupleaccess of 'id term_gen * Core.big_int
  28. | Pnone
  29. | Psome of 'id term_gen
  30. | Pleft of type_ * 'id term_gen
  31. | Pright of type_ * 'id term_gen
  32. | Plambda of type_ * 'id * type_ * 'id term_gen
  33. | Pcast of type_ * type_ * 'id term_gen
  34. | Pself of 'id
  35. | Pternary of 'id term_gen * 'id term_gen * 'id term_gen
  36. | Pcreatecontract of michelson_struct * 'id term_gen * 'id term_gen * 'id term_gen
and 'id term_arg =
  1. | AExpr of 'id term_gen
  2. | AFun of 'id * type_ * ('id * type_ * 'id term_gen) list * 'id term_gen
  3. | AEffect of ('id * operator * 'id term_gen) list
  4. | ASorting of bool * 'id
  5. | AIdent of 'id
and 'id term_poly = 'id term_node struct_poly
and 'id term_gen = 'id term_poly
type pterm = lident term_gen
type pterm_arg = lident term_arg
val show_pterm_arg : pterm_arg -> Ppx_deriving_runtime.string
type 'id instruction_poly = {
  1. node : 'id instruction_node;
  2. label : string option;
  3. loc : Location.t;
}
and 'id transfer_t =
  1. | TTsimple of 'id term_gen * 'id term_gen
  2. | TTcontract of 'id term_gen * 'id term_gen * 'id * type_ * 'id term_gen
  3. | TTentry of 'id term_gen * 'id term_gen * 'id term_gen
  4. | TTgen of 'id term_gen * Ident.ident * Ident.ident * type_ * 'id term_gen * 'id term_gen
  5. | TTself of 'id term_gen * 'id * ('id * 'id term_gen) list
  6. | TToperation of 'id term_gen
and 'id instruction_node =
  1. | Iif of 'id term_gen * 'id instruction_gen * 'id instruction_gen
  2. | Ifor of 'id for_ident * 'id term_gen * 'id instruction_gen
  3. | Iiter of 'id * 'id term_gen * 'id term_gen * 'id instruction_gen
  4. | Iwhile of 'id term_gen * 'id instruction_gen
  5. | Iletin of 'id * 'id term_gen * 'id instruction_gen
  6. | Ideclvar of 'id * 'id term_gen * bool
  7. | Ideclvaropt of 'id * 'id term_gen * 'id term_gen option * bool
  8. | Iseq of 'id instruction_gen list
  9. | Imatchwith of 'id term_gen * ('id pattern_gen * 'id instruction_gen) list
  10. | Imatchoption of 'id term_gen * 'id * 'id instruction_gen * 'id instruction_gen
  11. | Imatchor of 'id term_gen * 'id * 'id instruction_gen * 'id * 'id instruction_gen
  12. | Imatchlist of 'id term_gen * 'id * 'id * 'id instruction_gen * 'id instruction_gen
  13. | Iassign of assignment_operator * type_ * 'id lvalue_gen * 'id term_gen * 'id term_gen option
  14. | Irequire of bool * 'id term_gen * 'id term_gen
  15. | Itransfer of 'id transfer_t
  16. | Iemit of 'id * 'id term_gen
  17. | Icall of 'id term_gen option * 'id call_kind * 'id term_arg list
  18. | Ireturn of 'id term_gen
  19. | Ilabel of 'id
  20. | Ifail of 'id term_gen
  21. | Ifailsome of 'id term_gen
and 'id for_ident =
  1. | FIsimple of 'id
  2. | FIdouble of 'id * 'id
and 'id instruction_gen = 'id instruction_poly
and instruction = lident instruction_poly
and 'id lvalue_gen = [
  1. | `Var of 'id
  2. | `Field of 'id * 'id term_gen * 'id
  3. | `Asset of 'id * 'id term_gen * 'id
  4. | `Tuple of 'id term_gen * int * int
]
and lvalue = lident lvalue_gen
val show_instruction : instruction -> Ppx_deriving_runtime.string
val show_lvalue : lvalue -> Ppx_deriving_runtime.string
type 'id decl_gen = {
  1. name : 'id;
  2. typ : type_ option;
  3. default : 'id term_gen option;
  4. shadow : bool;
  5. loc : Location.t;
}
type 'id label_term = {
  1. label : 'id option;
  2. term : 'id term_gen;
  3. error : 'id term_gen option;
  4. loc : Location.t;
}
type variable_kind =
  1. | VKconstant
  2. | VKvariable
val show_variable_kind : variable_kind -> Ppx_deriving_runtime.string
type 'id variable = {
  1. decl : 'id decl_gen;
  2. kind : variable_kind;
  3. invs : 'id label_term list;
  4. loc : Location.t;
}
type 'id predicate = {
  1. name : 'id;
  2. args : ('id * type_) list;
  3. body : 'id term_gen;
  4. loc : Location.t;
}
type 'id definition = {
  1. name : 'id;
  2. typ : type_;
  3. var : 'id;
  4. body : 'id term_gen;
  5. loc : Location.t;
}
type 'id fail = {
  1. label : 'id;
  2. fid : 'id option;
  3. arg : 'id;
  4. atype : type_;
  5. formula : 'id term_gen;
  6. loc : Location.t;
}
type 'id invariant = {
  1. label : 'id;
  2. formulas : 'id term_gen list;
}
type 'id postcondition = {
  1. name : 'id;
  2. formula : 'id term_gen;
  3. invariants : 'id invariant list;
  4. uses : 'id list;
}
type 'id assert_ = {
  1. name : 'id;
  2. label : 'id;
  3. formula : 'id term_gen;
  4. invariants : 'id invariant list;
  5. uses : 'id list;
}
val pp_assert_ : 'id. (Ppx_deriving_runtime.Format.formatter -> 'id -> Ppx_deriving_runtime.unit) -> Ppx_deriving_runtime.Format.formatter -> 'id assert_ -> Ppx_deriving_runtime.unit
val show_assert_ : 'id. (Ppx_deriving_runtime.Format.formatter -> 'id -> Ppx_deriving_runtime.unit) -> 'id assert_ -> Ppx_deriving_runtime.string
type 'id parameter = {
  1. name : 'id;
  2. typ : type_;
  3. default : 'id term_gen option;
  4. value : 'id term_gen option;
  5. const : bool;
  6. loc : Location.t;
}
type 'id specification = {
  1. predicates : 'id predicate list;
  2. definitions : 'id definition list;
  3. fails : 'id fail list;
  4. lemmas : 'id label_term list;
  5. theorems : 'id label_term list;
  6. variables : 'id variable list;
  7. invariants : ('id * 'id label_term list) list;
  8. effect : 'id instruction_gen option;
  9. specs : 'id postcondition list;
  10. asserts : 'id assert_ list;
  11. loc : Location.t;
}
type entry_description =
  1. | ADAny
  2. | ADOp of string * lident
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
type security_role = lident
val show_security_role : security_role -> Ppx_deriving_runtime.string
type security_entry =
  1. | Sany
  2. | Sentry of lident list
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 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 view_visibility =
  1. | VVonchain
  2. | VVonoffchain
  3. | VVoffchain
val show_view_visibility : view_visibility -> Ppx_deriving_runtime.string
type fun_kind =
  1. | FKfunction
  2. | FKgetter
  3. | FKview of view_visibility
val show_fun_kind : fun_kind -> Ppx_deriving_runtime.string
type 'id function_struct = {
  1. name : 'id;
  2. kind : fun_kind;
  3. args : 'id decl_gen list;
  4. body : 'id instruction_gen;
  5. specification : 'id specification option;
  6. return : type_;
  7. loc : Location.t;
}
type function_ = lident function_struct
val pp_function_ : Ppx_deriving_runtime.Format.formatter -> function_ -> Ppx_deriving_runtime.unit
val show_function_ : function_ -> Ppx_deriving_runtime.string
type 'id rexpr_gen = 'id rexpr_node struct_poly
and 'id rexpr_node =
  1. | Rany
  2. | Rasset of 'id
  3. | Rexpr of 'id term_gen
  4. | Ror of 'id rexpr_gen * 'id rexpr_gen
type rexpr = lident rexpr_gen
type 'id transition = {
  1. from : 'id sexpr_gen;
  2. on : ('id * type_ * 'id * type_) option;
  3. trs : ('id * 'id term_gen option * 'id instruction_gen option) list;
}
type 'id transaction_struct = {
  1. name : 'id;
  2. args : 'id decl_gen list;
  3. sourcedby : ('id rexpr_gen * 'id term_gen option) option;
  4. calledby : ('id rexpr_gen * 'id term_gen option) option;
  5. state_is : ('id * 'id term_gen option) option;
  6. accept_transfer : bool * 'id term_gen option;
  7. constants : 'id label_term list option;
  8. require : 'id label_term list option;
  9. failif : 'id label_term list option;
  10. transition : 'id transition option;
  11. specification : 'id specification option;
  12. functions : 'id function_struct list;
  13. effect : 'id instruction_gen option;
  14. loc : Location.t;
}
type transaction = lident transaction_struct
val show_transaction : transaction -> Ppx_deriving_runtime.string
type 'id enum_item_struct = {
  1. name : 'id;
  2. initial : bool;
  3. invariants : 'id label_term list;
  4. args : ptyp list;
  5. loc : Location.t;
}
type 'id enum_kind =
  1. | EKenum of 'id
  2. | EKstate
type 'id enum_struct = {
  1. kind : 'id enum_kind;
  2. items : 'id enum_item_struct list;
  3. loc : Location.t;
}
type enum = lident enum_struct
type map_kind =
  1. | MKMap
  2. | MKBigMap
  3. | MKIterableBigMap
val show_map_kind : map_kind -> Ppx_deriving_runtime.string
type 'id asset_struct = {
  1. name : 'id;
  2. fields : 'id decl_gen list;
  3. keys : 'id list;
  4. sort : 'id list;
  5. map_kind : map_kind;
  6. state : 'id option;
  7. init : 'id term_gen list list;
  8. specs : 'id label_term list;
  9. loc : Location.t;
}
type asset = lident asset_struct
type 'a position =
  1. | Pleaf of 'a
  2. | Pnode of 'a position list
type 'id record_struct = {
  1. name : 'id;
  2. fields : 'id decl_gen list;
  3. pos : 'id position;
  4. loc : Location.t;
}
type record = lident record_struct
type 'id decl_ =
  1. | Dvariable of 'id variable
  2. | Dasset of 'id asset_struct
  3. | Drecord of 'id record_struct
  4. | Denum of 'id enum_struct
  5. | Devent of 'id record_struct
val pp_decl_ : 'id. (Ppx_deriving_runtime.Format.formatter -> 'id -> Ppx_deriving_runtime.unit) -> Ppx_deriving_runtime.Format.formatter -> 'id decl_ -> Ppx_deriving_runtime.unit
val show_decl_ : 'id. (Ppx_deriving_runtime.Format.formatter -> 'id -> Ppx_deriving_runtime.unit) -> 'id decl_ -> Ppx_deriving_runtime.string
type 'id fun_ =
  1. | Ffunction of 'id function_struct
  2. | Ftransaction of 'id transaction_struct
val pp_fun_ : 'id. (Ppx_deriving_runtime.Format.formatter -> 'id -> Ppx_deriving_runtime.unit) -> Ppx_deriving_runtime.Format.formatter -> 'id fun_ -> Ppx_deriving_runtime.unit
val show_fun_ : 'id. (Ppx_deriving_runtime.Format.formatter -> 'id -> Ppx_deriving_runtime.unit) -> 'id fun_ -> 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 import_kind_node =
  1. | INMichelson of michelson_struct
  2. | INArchetype
val show_import_kind_node : import_kind_node -> Ppx_deriving_runtime.string
type import_struct = {
  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;
}
val show_import_struct : import_struct -> Ppx_deriving_runtime.string
type 'id ast_struct = {
  1. name : 'id;
  2. parameters : 'id parameter list;
  3. imports : import_struct list;
  4. metadata : metadata_kind option;
  5. decls : 'id decl_ list;
  6. funs : 'id fun_ list;
  7. specifications : 'id specification list;
  8. securities : security list;
  9. loc : Location.t;
}
and ast = lident ast_struct
val vtaddress : ptyp
val vtbls12_381_fr : ptyp
val vtbls12_381_g1 : ptyp
val vtbls12_381_g2 : ptyp
val vtbool : ptyp
val vtbytes : ptyp
val vtchainid : ptyp
val vtcurrency : ptyp
val vtdate : ptyp
val vtduration : ptyp
val vtint : ptyp
val vtkey : ptyp
val vtkeyhash : ptyp
val vtnat : ptyp
val vtrational : ptyp
val vtsignature : ptyp
val vtstring : ptyp
val vtunit : ptyp
val vtnever : ptyp
val vtchest : ptyp
val vtchest_key : ptyp
val vttx_rollup_l2_address : ptyp
val vts : ptyp list
val mk_sp : ?label:Ident.ident -> ?loc:Location.t -> ?type_:type_ -> 'a -> 'b struct_poly
val mk_instr : ?label:string -> ?loc:Location.t -> 'a instruction_node -> 'a instruction_poly
val mk_label_term : ?label:'a -> ?error:'b term_gen -> ?loc:Location.t -> 'c term_gen -> 'd label_term
val mk_variable : ?invs:'a label_term list -> ?loc:Location.t -> 'b decl_gen -> variable_kind -> 'b variable
val mk_predicate : ?args:('a * type_) list -> ?loc:Location.t -> 'b -> 'c term_gen -> 'd predicate
val mk_definition : ?loc:Location.t -> 'a -> type_ -> 'b -> 'c term_gen -> 'd definition
val mk_fail : ?loc:Location.t -> 'a -> 'b option -> 'c -> type_ -> 'd term_gen -> 'e fail
val mk_invariant : ?formulas:'a term_gen list -> 'b -> 'c invariant
val mk_postcondition : ?invariants:'a invariant list -> ?uses:'b list -> 'c -> 'd term_gen -> 'e postcondition
val mk_assert : ?invariants:'a invariant list -> ?uses:'b list -> 'c -> 'd -> 'e term_gen -> 'f assert_
val mk_specification : ?predicates:'a predicate list -> ?definitions:'b definition list -> ?fails:'c fail list -> ?lemmas:'d label_term list -> ?theorems:'e label_term list -> ?variables:'f variable list -> ?invariants:('g * 'g label_term list) list -> ?effect:'h instruction_gen -> ?specs:'i postcondition list -> ?asserts:'j assert_ list -> ?loc:Location.t -> unit -> 'a specification
val mk_function_struct : ?args:'a decl_gen list -> ?specification:'b specification -> ?loc:Location.t -> 'c -> fun_kind -> 'd instruction_gen -> type_ -> 'e function_struct
val mk_transition : ?on:('a * type_ * 'a * type_) -> ?trs:('b * 'b term_gen option * 'b instruction_gen option) list -> 'c sexpr_gen -> 'c transition
val mk_transaction_struct : ?args:'a decl_gen list -> ?sourcedby:('b rexpr_gen * 'b term_gen option) -> ?calledby:('c rexpr_gen * 'c term_gen option) -> ?state_is:('d * 'd term_gen option) -> ?accept_transfer:(bool * 'e term_gen option) -> ?constants:'f label_term list -> ?require:'g label_term list -> ?failif:'h label_term list -> ?transition:'i transition -> ?specification:'j specification -> ?functions:'k function_struct list -> ?effect:'l instruction_gen -> ?loc:Location.t -> 'm -> 'n transaction_struct
val mk_enum_item : ?initial:bool -> ?args:ptyp list -> ?invariants:'id label_term list -> ?loc:Location.t -> 'id0 -> 'id1 enum_item_struct
val mk_enum : ?items:'a enum_item_struct list -> ?loc:Location.t -> 'b enum_kind -> 'b enum_struct
val mk_decl : ?typ:type_ -> ?default:'a term_gen -> ?shadow:bool -> ?loc:Location.t -> 'b -> 'c decl_gen
val mk_asset : ?fields:'a decl_gen list -> ?keys:'b list -> ?sort:'c list -> ?map_kind:map_kind -> ?state:'d -> ?init:'e term_gen list list -> ?specs:'f label_term list -> ?loc:Location.t -> 'g -> 'h asset_struct
val mk_model : ?parameters:'a parameter list -> ?imports:import_struct list -> ?metadata:metadata_kind -> ?decls:'b decl_ list -> ?funs:'c fun_ list -> ?specifications:'d specification list -> ?securities:security list -> ?loc:Location.t -> 'e -> 'f ast_struct
val mk_id : type_ -> lident -> qualid
val map_ptyp : (type_ -> type_) -> ptyp -> ptyp
module Utils : sig ... end