package archetype

  1. Overview
  2. Docs
package archetype
Legend:
Library
Module
Module type
Parameter
Class
Class type
val pp_ident : Stdlib.Format.formatter -> string -> unit
val pp_lident : Stdlib.Format.formatter -> string Location.loced -> unit
type container =
  1. | Collection
  2. | Aggregate
  3. | Partition
  4. | AssetContainer
  5. | AssetKey
  6. | AssetValue
  7. | AssetView
val pp_container : Ppx_deriving_runtime.Format.formatter -> container -> Ppx_deriving_runtime.unit
val show_container : container -> Ppx_deriving_runtime.string
type currency =
  1. | Utz
val pp_currency : Ppx_deriving_runtime.Format.formatter -> currency -> Ppx_deriving_runtime.unit
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
val pp_vtyp : Ppx_deriving_runtime.Format.formatter -> vtyp -> Ppx_deriving_runtime.unit
type trtyp =
  1. | TRentry
  2. | TRaction
  3. | TRasset
  4. | TRfield
val pp_trtyp : Ppx_deriving_runtime.Format.formatter -> trtyp -> Ppx_deriving_runtime.unit
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_ptyp : Ppx_deriving_runtime.Format.formatter -> type_ -> Ppx_deriving_runtime.unit
val pp_type_ : Ppx_deriving_runtime.Format.formatter -> type_ -> Ppx_deriving_runtime.unit
val show_type_ : type_ -> Ppx_deriving_runtime.string
type logical_operator =
  1. | And
  2. | Or
  3. | Xor
  4. | Imply
  5. | Equiv
val pp_logical_operator : Ppx_deriving_runtime.Format.formatter -> logical_operator -> Ppx_deriving_runtime.unit
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 pp_comparison_operator : Ppx_deriving_runtime.Format.formatter -> comparison_operator -> Ppx_deriving_runtime.unit
val show_comparison_operator : comparison_operator -> Ppx_deriving_runtime.string
type assignment_operator =
  1. | ValueAssign
  2. | PlusAssign
  3. | MinusAssign
  4. | MultAssign
  5. | DivAssign
  6. | AndAssign
  7. | OrAssign
val pp_assignment_operator : Ppx_deriving_runtime.Format.formatter -> assignment_operator -> Ppx_deriving_runtime.unit
val show_assignment_operator : assignment_operator -> Ppx_deriving_runtime.string
type arithmetic_operator =
  1. | Plus
  2. | Minus
  3. | Mult
  4. | DivRat
  5. | DivEuc
  6. | Modulo
  7. | DivMod
  8. | ThreeWayCmp
  9. | ShiftLeft
  10. | ShiftRight
val pp_arithmetic_operator : Ppx_deriving_runtime.Format.formatter -> arithmetic_operator -> Ppx_deriving_runtime.unit
val show_arithmetic_operator : arithmetic_operator -> Ppx_deriving_runtime.string
type unary_arithmetic_operator =
  1. | Uminus
val pp_unary_arithmetic_operator : Ppx_deriving_runtime.Format.formatter -> unary_arithmetic_operator -> Ppx_deriving_runtime.unit
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 pp_operator : Ppx_deriving_runtime.Format.formatter -> operator -> Ppx_deriving_runtime.unit
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
val pp_const : Ppx_deriving_runtime.Format.formatter -> const -> Ppx_deriving_runtime.unit
type 'node struct_poly = {
  1. node : 'node;
  2. type_ : type_ option;
  3. label : Ident.ident option;
  4. loc : Location.t;
}
val pp_struct_poly : 'node. (Ppx_deriving_runtime.Format.formatter -> 'node -> Ppx_deriving_runtime.unit) -> Ppx_deriving_runtime.Format.formatter -> 'node struct_poly -> Ppx_deriving_runtime.unit
val show_struct_poly : 'node. (Ppx_deriving_runtime.Format.formatter -> 'node -> Ppx_deriving_runtime.unit) -> 'node struct_poly -> Ppx_deriving_runtime.string
type 'id qualid_gen = 'id qualid_node struct_poly
and 'id qualid_node =
  1. | Qident of 'id
  2. | Qdot of 'id qualid_gen * 'id
val pp_qualid_gen : 'id. (Ppx_deriving_runtime.Format.formatter -> 'id -> Ppx_deriving_runtime.unit) -> Ppx_deriving_runtime.Format.formatter -> 'id qualid_gen -> Ppx_deriving_runtime.unit
val show_qualid_gen : 'id. (Ppx_deriving_runtime.Format.formatter -> 'id -> Ppx_deriving_runtime.unit) -> 'id qualid_gen -> Ppx_deriving_runtime.string
val pp_qualid_node : 'id. (Ppx_deriving_runtime.Format.formatter -> 'id -> Ppx_deriving_runtime.unit) -> Ppx_deriving_runtime.Format.formatter -> 'id qualid_node -> Ppx_deriving_runtime.unit
val show_qualid_node : 'id. (Ppx_deriving_runtime.Format.formatter -> 'id -> Ppx_deriving_runtime.unit) -> 'id qualid_node -> Ppx_deriving_runtime.string
type qualid = lident qualid_gen
val pp_qualid : Ppx_deriving_runtime.Format.formatter -> qualid -> Ppx_deriving_runtime.unit
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
val pp_sexpr_gen : 'id. (Ppx_deriving_runtime.Format.formatter -> 'id -> Ppx_deriving_runtime.unit) -> Ppx_deriving_runtime.Format.formatter -> 'id sexpr_gen -> Ppx_deriving_runtime.unit
val show_sexpr_gen : 'id. (Ppx_deriving_runtime.Format.formatter -> 'id -> Ppx_deriving_runtime.unit) -> 'id sexpr_gen -> Ppx_deriving_runtime.string
val pp_sexpr_node : 'id. (Ppx_deriving_runtime.Format.formatter -> 'id -> Ppx_deriving_runtime.unit) -> Ppx_deriving_runtime.Format.formatter -> 'id sexpr_node -> Ppx_deriving_runtime.unit
val show_sexpr_node : 'id. (Ppx_deriving_runtime.Format.formatter -> 'id -> Ppx_deriving_runtime.unit) -> 'id sexpr_node -> Ppx_deriving_runtime.string
type sexpr = lident sexpr_gen
val pp_sexpr : Ppx_deriving_runtime.Format.formatter -> sexpr -> Ppx_deriving_runtime.unit
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 pp_bval_gen : Ppx_deriving_runtime.Format.formatter -> bval_gen -> Ppx_deriving_runtime.unit
val show_bval_gen : bval_gen -> Ppx_deriving_runtime.string
val pp_bval_node : Ppx_deriving_runtime.Format.formatter -> bval_node -> Ppx_deriving_runtime.unit
val show_bval_node : bval_node -> Ppx_deriving_runtime.string
type bval = bval_gen
val pp_bval : Ppx_deriving_runtime.Format.formatter -> bval -> Ppx_deriving_runtime.unit
type quantifier =
  1. | Forall
  2. | Exists
val pp_quantifier : Ppx_deriving_runtime.Format.formatter -> quantifier -> Ppx_deriving_runtime.unit
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
val pp_pattern_gen : 'id. (Ppx_deriving_runtime.Format.formatter -> 'id -> Ppx_deriving_runtime.unit) -> Ppx_deriving_runtime.Format.formatter -> 'id pattern_gen -> Ppx_deriving_runtime.unit
val show_pattern_gen : 'id. (Ppx_deriving_runtime.Format.formatter -> 'id -> Ppx_deriving_runtime.unit) -> 'id pattern_gen -> Ppx_deriving_runtime.string
val pp_pattern_node : 'id. (Ppx_deriving_runtime.Format.formatter -> 'id -> Ppx_deriving_runtime.unit) -> Ppx_deriving_runtime.Format.formatter -> 'id pattern_node -> Ppx_deriving_runtime.unit
val show_pattern_node : 'id. (Ppx_deriving_runtime.Format.formatter -> 'id -> Ppx_deriving_runtime.unit) -> 'id pattern_node -> Ppx_deriving_runtime.string
type pattern = lident pattern_gen
val pp_pattern : Ppx_deriving_runtime.Format.formatter -> pattern -> Ppx_deriving_runtime.unit
val show_pattern : pattern -> Ppx_deriving_runtime.string
type 'id call_kind =
  1. | Cid of 'id
  2. | Cconst of const
val pp_call_kind : 'id. (Ppx_deriving_runtime.Format.formatter -> 'id -> Ppx_deriving_runtime.unit) -> Ppx_deriving_runtime.Format.formatter -> 'id call_kind -> Ppx_deriving_runtime.unit
val show_call_kind : 'id. (Ppx_deriving_runtime.Format.formatter -> 'id -> Ppx_deriving_runtime.unit) -> 'id call_kind -> Ppx_deriving_runtime.string
type var_temporality =
  1. | VTbefore
  2. | VTat of Ident.ident
  3. | VTnone
val pp_var_temporality : Ppx_deriving_runtime.Format.formatter -> var_temporality -> Ppx_deriving_runtime.unit
val show_var_temporality : var_temporality -> Ppx_deriving_runtime.string
type vset =
  1. | Vadded
  2. | Vremoved
  3. | Vunmoved
  4. | Vnone
val pp_vset : Ppx_deriving_runtime.Format.formatter -> vset -> Ppx_deriving_runtime.unit
type michelson_struct = {
  1. ms_content : Michelson.obj_micheline;
}
val pp_michelson_struct : Ppx_deriving_runtime.Format.formatter -> michelson_struct -> Ppx_deriving_runtime.unit
val show_michelson_struct : michelson_struct -> Ppx_deriving_runtime.string
type '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
val pp_term_node : 'id. (Ppx_deriving_runtime.Format.formatter -> 'id -> Ppx_deriving_runtime.unit) -> Ppx_deriving_runtime.Format.formatter -> 'id term_node -> Ppx_deriving_runtime.unit
val show_term_node : 'id. (Ppx_deriving_runtime.Format.formatter -> 'id -> Ppx_deriving_runtime.unit) -> 'id term_node -> Ppx_deriving_runtime.string
val pp_term_arg : 'id. (Ppx_deriving_runtime.Format.formatter -> 'id -> Ppx_deriving_runtime.unit) -> Ppx_deriving_runtime.Format.formatter -> 'id term_arg -> Ppx_deriving_runtime.unit
val show_term_arg : 'id. (Ppx_deriving_runtime.Format.formatter -> 'id -> Ppx_deriving_runtime.unit) -> 'id term_arg -> Ppx_deriving_runtime.string
val pp_term_poly : 'id. (Ppx_deriving_runtime.Format.formatter -> 'id -> Ppx_deriving_runtime.unit) -> Ppx_deriving_runtime.Format.formatter -> 'id term_poly -> Ppx_deriving_runtime.unit
val show_term_poly : 'id. (Ppx_deriving_runtime.Format.formatter -> 'id -> Ppx_deriving_runtime.unit) -> 'id term_poly -> Ppx_deriving_runtime.string
val pp_term_gen : 'id. (Ppx_deriving_runtime.Format.formatter -> 'id -> Ppx_deriving_runtime.unit) -> Ppx_deriving_runtime.Format.formatter -> 'id term_gen -> Ppx_deriving_runtime.unit
val show_term_gen : 'id. (Ppx_deriving_runtime.Format.formatter -> 'id -> Ppx_deriving_runtime.unit) -> 'id term_gen -> Ppx_deriving_runtime.string
type pterm = lident term_gen
val pp_pterm : Ppx_deriving_runtime.Format.formatter -> pterm -> Ppx_deriving_runtime.unit
type pterm_arg = lident term_arg
val pp_pterm_arg : Ppx_deriving_runtime.Format.formatter -> pterm_arg -> Ppx_deriving_runtime.unit
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 pp_instruction_poly : 'id. (Ppx_deriving_runtime.Format.formatter -> 'id -> Ppx_deriving_runtime.unit) -> Ppx_deriving_runtime.Format.formatter -> 'id instruction_poly -> Ppx_deriving_runtime.unit
val show_instruction_poly : 'id. (Ppx_deriving_runtime.Format.formatter -> 'id -> Ppx_deriving_runtime.unit) -> 'id instruction_poly -> Ppx_deriving_runtime.string
val pp_transfer_t : 'id. (Ppx_deriving_runtime.Format.formatter -> 'id -> Ppx_deriving_runtime.unit) -> Ppx_deriving_runtime.Format.formatter -> 'id transfer_t -> Ppx_deriving_runtime.unit
val show_transfer_t : 'id. (Ppx_deriving_runtime.Format.formatter -> 'id -> Ppx_deriving_runtime.unit) -> 'id transfer_t -> Ppx_deriving_runtime.string
val pp_instruction_node : 'id. (Ppx_deriving_runtime.Format.formatter -> 'id -> Ppx_deriving_runtime.unit) -> Ppx_deriving_runtime.Format.formatter -> 'id instruction_node -> Ppx_deriving_runtime.unit
val show_instruction_node : 'id. (Ppx_deriving_runtime.Format.formatter -> 'id -> Ppx_deriving_runtime.unit) -> 'id instruction_node -> Ppx_deriving_runtime.string
val pp_for_ident : 'id. (Ppx_deriving_runtime.Format.formatter -> 'id -> Ppx_deriving_runtime.unit) -> Ppx_deriving_runtime.Format.formatter -> 'id for_ident -> Ppx_deriving_runtime.unit
val show_for_ident : 'id. (Ppx_deriving_runtime.Format.formatter -> 'id -> Ppx_deriving_runtime.unit) -> 'id for_ident -> Ppx_deriving_runtime.string
val pp_instruction_gen : 'id. (Ppx_deriving_runtime.Format.formatter -> 'id -> Ppx_deriving_runtime.unit) -> Ppx_deriving_runtime.Format.formatter -> 'id instruction_gen -> Ppx_deriving_runtime.unit
val show_instruction_gen : 'id. (Ppx_deriving_runtime.Format.formatter -> 'id -> Ppx_deriving_runtime.unit) -> 'id instruction_gen -> Ppx_deriving_runtime.string
val pp_instruction : Ppx_deriving_runtime.Format.formatter -> instruction -> Ppx_deriving_runtime.unit
val show_instruction : instruction -> Ppx_deriving_runtime.string
val pp_lvalue_gen : 'id. (Ppx_deriving_runtime.Format.formatter -> 'id -> Ppx_deriving_runtime.unit) -> Ppx_deriving_runtime.Format.formatter -> 'id lvalue_gen -> Ppx_deriving_runtime.unit
val show_lvalue_gen : 'id. (Ppx_deriving_runtime.Format.formatter -> 'id -> Ppx_deriving_runtime.unit) -> 'id lvalue_gen -> Ppx_deriving_runtime.string
val pp_lvalue : Ppx_deriving_runtime.Format.formatter -> lvalue -> Ppx_deriving_runtime.unit
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;
}
val pp_decl_gen : 'id. (Ppx_deriving_runtime.Format.formatter -> 'id -> Ppx_deriving_runtime.unit) -> Ppx_deriving_runtime.Format.formatter -> 'id decl_gen -> Ppx_deriving_runtime.unit
val show_decl_gen : 'id. (Ppx_deriving_runtime.Format.formatter -> 'id -> Ppx_deriving_runtime.unit) -> 'id decl_gen -> Ppx_deriving_runtime.string
type 'id label_term = {
  1. label : 'id option;
  2. term : 'id term_gen;
  3. error : 'id term_gen option;
  4. loc : Location.t;
}
val pp_label_term : 'id. (Ppx_deriving_runtime.Format.formatter -> 'id -> Ppx_deriving_runtime.unit) -> Ppx_deriving_runtime.Format.formatter -> 'id label_term -> Ppx_deriving_runtime.unit
val show_label_term : 'id. (Ppx_deriving_runtime.Format.formatter -> 'id -> Ppx_deriving_runtime.unit) -> 'id label_term -> Ppx_deriving_runtime.string
type variable_kind =
  1. | VKconstant
  2. | VKvariable
val pp_variable_kind : Ppx_deriving_runtime.Format.formatter -> variable_kind -> Ppx_deriving_runtime.unit
val show_variable_kind : variable_kind -> Ppx_deriving_runtime.string
type 'id variable = {
  1. decl : 'id decl_gen;
  2. kind : variable_kind;
  3. invs : 'id label_term list;
  4. loc : Location.t;
}
val pp_variable : 'id. (Ppx_deriving_runtime.Format.formatter -> 'id -> Ppx_deriving_runtime.unit) -> Ppx_deriving_runtime.Format.formatter -> 'id variable -> Ppx_deriving_runtime.unit
val show_variable : 'id. (Ppx_deriving_runtime.Format.formatter -> 'id -> Ppx_deriving_runtime.unit) -> 'id variable -> Ppx_deriving_runtime.string
type 'id predicate = {
  1. name : 'id;
  2. args : ('id * type_) list;
  3. body : 'id term_gen;
  4. loc : Location.t;
}
val pp_predicate : 'id. (Ppx_deriving_runtime.Format.formatter -> 'id -> Ppx_deriving_runtime.unit) -> Ppx_deriving_runtime.Format.formatter -> 'id predicate -> Ppx_deriving_runtime.unit
val show_predicate : 'id. (Ppx_deriving_runtime.Format.formatter -> 'id -> Ppx_deriving_runtime.unit) -> 'id predicate -> Ppx_deriving_runtime.string
type 'id definition = {
  1. name : 'id;
  2. typ : type_;
  3. var : 'id;
  4. body : 'id term_gen;
  5. loc : Location.t;
}
val pp_definition : 'id. (Ppx_deriving_runtime.Format.formatter -> 'id -> Ppx_deriving_runtime.unit) -> Ppx_deriving_runtime.Format.formatter -> 'id definition -> Ppx_deriving_runtime.unit
val show_definition : 'id. (Ppx_deriving_runtime.Format.formatter -> 'id -> Ppx_deriving_runtime.unit) -> 'id definition -> Ppx_deriving_runtime.string
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;
}
val pp_fail : 'id. (Ppx_deriving_runtime.Format.formatter -> 'id -> Ppx_deriving_runtime.unit) -> Ppx_deriving_runtime.Format.formatter -> 'id fail -> Ppx_deriving_runtime.unit
val show_fail : 'id. (Ppx_deriving_runtime.Format.formatter -> 'id -> Ppx_deriving_runtime.unit) -> 'id fail -> Ppx_deriving_runtime.string
type 'id invariant = {
  1. label : 'id;
  2. formulas : 'id term_gen list;
}
val pp_invariant : 'id. (Ppx_deriving_runtime.Format.formatter -> 'id -> Ppx_deriving_runtime.unit) -> Ppx_deriving_runtime.Format.formatter -> 'id invariant -> Ppx_deriving_runtime.unit
val show_invariant : 'id. (Ppx_deriving_runtime.Format.formatter -> 'id -> Ppx_deriving_runtime.unit) -> 'id invariant -> Ppx_deriving_runtime.string
type 'id postcondition = {
  1. name : 'id;
  2. formula : 'id term_gen;
  3. invariants : 'id invariant list;
  4. uses : 'id list;
}
val pp_postcondition : 'id. (Ppx_deriving_runtime.Format.formatter -> 'id -> Ppx_deriving_runtime.unit) -> Ppx_deriving_runtime.Format.formatter -> 'id postcondition -> Ppx_deriving_runtime.unit
val show_postcondition : 'id. (Ppx_deriving_runtime.Format.formatter -> 'id -> Ppx_deriving_runtime.unit) -> 'id postcondition -> Ppx_deriving_runtime.string
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;
}
val pp_parameter : 'id. (Ppx_deriving_runtime.Format.formatter -> 'id -> Ppx_deriving_runtime.unit) -> Ppx_deriving_runtime.Format.formatter -> 'id parameter -> Ppx_deriving_runtime.unit
val show_parameter : 'id. (Ppx_deriving_runtime.Format.formatter -> 'id -> Ppx_deriving_runtime.unit) -> 'id parameter -> Ppx_deriving_runtime.string
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;
}
val pp_specification : 'id. (Ppx_deriving_runtime.Format.formatter -> 'id -> Ppx_deriving_runtime.unit) -> Ppx_deriving_runtime.Format.formatter -> 'id specification -> Ppx_deriving_runtime.unit
val show_specification : 'id. (Ppx_deriving_runtime.Format.formatter -> 'id -> Ppx_deriving_runtime.unit) -> 'id specification -> Ppx_deriving_runtime.string
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 pp_security_role : Ppx_deriving_runtime.Format.formatter -> security_role -> Ppx_deriving_runtime.unit
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 pp_security_node : Ppx_deriving_runtime.Format.formatter -> security_node -> Ppx_deriving_runtime.unit
val show_security_node : security_node -> Ppx_deriving_runtime.string
type security_predicate = {
  1. s_node : security_node;
  2. loc : Location.t;
}
val pp_security_predicate : Ppx_deriving_runtime.Format.formatter -> security_predicate -> Ppx_deriving_runtime.unit
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 pp_security_item : Ppx_deriving_runtime.Format.formatter -> security_item -> Ppx_deriving_runtime.unit
val show_security_item : security_item -> Ppx_deriving_runtime.string
type security = {
  1. items : security_item list;
  2. loc : Location.t;
}
val pp_security : Ppx_deriving_runtime.Format.formatter -> security -> Ppx_deriving_runtime.unit
val show_security : security -> Ppx_deriving_runtime.string
type view_visibility =
  1. | VVonchain
  2. | VVonoffchain
  3. | VVoffchain
val pp_view_visibility : Ppx_deriving_runtime.Format.formatter -> view_visibility -> Ppx_deriving_runtime.unit
val show_view_visibility : view_visibility -> Ppx_deriving_runtime.string
type fun_kind =
  1. | FKfunction
  2. | FKgetter
  3. | FKview of view_visibility
val pp_fun_kind : Ppx_deriving_runtime.Format.formatter -> fun_kind -> Ppx_deriving_runtime.unit
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;
}
val pp_function_struct : 'id. (Ppx_deriving_runtime.Format.formatter -> 'id -> Ppx_deriving_runtime.unit) -> Ppx_deriving_runtime.Format.formatter -> 'id function_struct -> Ppx_deriving_runtime.unit
val show_function_struct : 'id. (Ppx_deriving_runtime.Format.formatter -> 'id -> Ppx_deriving_runtime.unit) -> 'id function_struct -> Ppx_deriving_runtime.string
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
val pp_rexpr_gen : 'id. (Ppx_deriving_runtime.Format.formatter -> 'id -> Ppx_deriving_runtime.unit) -> Ppx_deriving_runtime.Format.formatter -> 'id rexpr_gen -> Ppx_deriving_runtime.unit
val show_rexpr_gen : 'id. (Ppx_deriving_runtime.Format.formatter -> 'id -> Ppx_deriving_runtime.unit) -> 'id rexpr_gen -> Ppx_deriving_runtime.string
val pp_rexpr_node : 'id. (Ppx_deriving_runtime.Format.formatter -> 'id -> Ppx_deriving_runtime.unit) -> Ppx_deriving_runtime.Format.formatter -> 'id rexpr_node -> Ppx_deriving_runtime.unit
val show_rexpr_node : 'id. (Ppx_deriving_runtime.Format.formatter -> 'id -> Ppx_deriving_runtime.unit) -> 'id rexpr_node -> Ppx_deriving_runtime.string
type rexpr = lident rexpr_gen
val pp_rexpr : Ppx_deriving_runtime.Format.formatter -> rexpr -> Ppx_deriving_runtime.unit
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;
}
val pp_transition : 'id. (Ppx_deriving_runtime.Format.formatter -> 'id -> Ppx_deriving_runtime.unit) -> Ppx_deriving_runtime.Format.formatter -> 'id transition -> Ppx_deriving_runtime.unit
val show_transition : 'id. (Ppx_deriving_runtime.Format.formatter -> 'id -> Ppx_deriving_runtime.unit) -> 'id transition -> Ppx_deriving_runtime.string
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;
}
val pp_transaction_struct : 'id. (Ppx_deriving_runtime.Format.formatter -> 'id -> Ppx_deriving_runtime.unit) -> Ppx_deriving_runtime.Format.formatter -> 'id transaction_struct -> Ppx_deriving_runtime.unit
val show_transaction_struct : 'id. (Ppx_deriving_runtime.Format.formatter -> 'id -> Ppx_deriving_runtime.unit) -> 'id transaction_struct -> Ppx_deriving_runtime.string
type transaction = lident transaction_struct
val pp_transaction : Ppx_deriving_runtime.Format.formatter -> transaction -> Ppx_deriving_runtime.unit
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;
}
val pp_enum_item_struct : 'id. (Ppx_deriving_runtime.Format.formatter -> 'id -> Ppx_deriving_runtime.unit) -> Ppx_deriving_runtime.Format.formatter -> 'id enum_item_struct -> Ppx_deriving_runtime.unit
val show_enum_item_struct : 'id. (Ppx_deriving_runtime.Format.formatter -> 'id -> Ppx_deriving_runtime.unit) -> 'id enum_item_struct -> Ppx_deriving_runtime.string
type 'id enum_kind =
  1. | EKenum of 'id
  2. | EKstate
val pp_enum_kind : 'id. (Ppx_deriving_runtime.Format.formatter -> 'id -> Ppx_deriving_runtime.unit) -> Ppx_deriving_runtime.Format.formatter -> 'id enum_kind -> Ppx_deriving_runtime.unit
val show_enum_kind : 'id. (Ppx_deriving_runtime.Format.formatter -> 'id -> Ppx_deriving_runtime.unit) -> 'id enum_kind -> Ppx_deriving_runtime.string
type 'id enum_struct = {
  1. kind : 'id enum_kind;
  2. items : 'id enum_item_struct list;
  3. loc : Location.t;
}
val pp_enum_struct : 'id. (Ppx_deriving_runtime.Format.formatter -> 'id -> Ppx_deriving_runtime.unit) -> Ppx_deriving_runtime.Format.formatter -> 'id enum_struct -> Ppx_deriving_runtime.unit
val show_enum_struct : 'id. (Ppx_deriving_runtime.Format.formatter -> 'id -> Ppx_deriving_runtime.unit) -> 'id enum_struct -> Ppx_deriving_runtime.string
type enum = lident enum_struct
val pp_enum : Ppx_deriving_runtime.Format.formatter -> enum -> Ppx_deriving_runtime.unit
type map_kind =
  1. | MKMap
  2. | MKBigMap
  3. | MKIterableBigMap
val pp_map_kind : Ppx_deriving_runtime.Format.formatter -> map_kind -> Ppx_deriving_runtime.unit
val show_map_kind : map_kind -> Ppx_deriving_runtime.string
type '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;
}
val pp_asset_struct : 'id. (Ppx_deriving_runtime.Format.formatter -> 'id -> Ppx_deriving_runtime.unit) -> Ppx_deriving_runtime.Format.formatter -> 'id asset_struct -> Ppx_deriving_runtime.unit
val show_asset_struct : 'id. (Ppx_deriving_runtime.Format.formatter -> 'id -> Ppx_deriving_runtime.unit) -> 'id asset_struct -> Ppx_deriving_runtime.string
type asset = lident asset_struct
type 'a position =
  1. | Pleaf of 'a
  2. | Pnode of 'a position list
val pp_position : 'a. (Ppx_deriving_runtime.Format.formatter -> 'a -> Ppx_deriving_runtime.unit) -> Ppx_deriving_runtime.Format.formatter -> 'a position -> Ppx_deriving_runtime.unit
val show_position : 'a. (Ppx_deriving_runtime.Format.formatter -> 'a -> Ppx_deriving_runtime.unit) -> 'a position -> Ppx_deriving_runtime.string
type 'id record_struct = {
  1. name : 'id;
  2. fields : 'id decl_gen list;
  3. pos : 'id position;
  4. loc : Location.t;
}
val pp_record_struct : 'id. (Ppx_deriving_runtime.Format.formatter -> 'id -> Ppx_deriving_runtime.unit) -> Ppx_deriving_runtime.Format.formatter -> 'id record_struct -> Ppx_deriving_runtime.unit
val show_record_struct : 'id. (Ppx_deriving_runtime.Format.formatter -> 'id -> Ppx_deriving_runtime.unit) -> 'id record_struct -> Ppx_deriving_runtime.string
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 pp_metadata_kind : Ppx_deriving_runtime.Format.formatter -> metadata_kind -> Ppx_deriving_runtime.unit
val show_metadata_kind : metadata_kind -> Ppx_deriving_runtime.string
type import_kind_node =
  1. | INMichelson of michelson_struct
  2. | INArchetype
val pp_import_kind_node : Ppx_deriving_runtime.Format.formatter -> import_kind_node -> Ppx_deriving_runtime.unit
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 pp_import_struct : Ppx_deriving_runtime.Format.formatter -> import_struct -> Ppx_deriving_runtime.unit
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 pp_ast_struct : 'id. (Ppx_deriving_runtime.Format.formatter -> 'id -> Ppx_deriving_runtime.unit) -> Ppx_deriving_runtime.Format.formatter -> 'id ast_struct -> Ppx_deriving_runtime.unit
val show_ast_struct : 'id. (Ppx_deriving_runtime.Format.formatter -> 'id -> Ppx_deriving_runtime.unit) -> 'id ast_struct -> Ppx_deriving_runtime.string
val pp_ast : Ppx_deriving_runtime.Format.formatter -> ast -> Ppx_deriving_runtime.unit
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 -> 'a struct_poly
val mk_instr : ?label:string -> ?loc:Location.t -> 'a instruction_node -> 'a instruction_poly
val mk_label_term : ?label:'a -> ?error:'a term_gen -> ?loc:Location.t -> 'a term_gen -> 'a label_term
val mk_variable : ?invs:'a label_term list -> ?loc:Location.t -> 'a decl_gen -> variable_kind -> 'a variable
val mk_predicate : ?args:('a * type_) list -> ?loc:Location.t -> 'a -> 'a term_gen -> 'a predicate
val mk_definition : ?loc:Location.t -> 'a -> type_ -> 'a -> 'a term_gen -> 'a definition
val mk_fail : ?loc:Location.t -> 'a -> 'a option -> 'a -> type_ -> 'a term_gen -> 'a fail
val mk_invariant : ?formulas:'a term_gen list -> 'a -> 'a invariant
val mk_postcondition : ?invariants:'a invariant list -> ?uses:'a list -> 'a -> 'a term_gen -> 'a postcondition
val mk_assert : ?invariants:'a invariant list -> ?uses:'a list -> 'a -> 'a -> 'a term_gen -> 'a assert_
val mk_specification : ?predicates:'a predicate list -> ?definitions:'a definition list -> ?fails:'a fail list -> ?lemmas:'a label_term list -> ?theorems:'a label_term list -> ?variables:'a variable list -> ?invariants:('a * 'a label_term list) list -> ?effect:'a instruction_gen -> ?specs:'a postcondition list -> ?asserts:'a assert_ list -> ?loc:Location.t -> unit -> 'a specification
val mk_function_struct : ?args:'a decl_gen list -> ?specification:'a specification -> ?loc:Location.t -> 'a -> fun_kind -> 'a instruction_gen -> type_ -> 'a function_struct
val mk_transition : ?on:('a * type_ * 'a * type_) -> ?trs:('a * 'a term_gen option * 'a instruction_gen option) list -> 'a sexpr_gen -> 'a transition
val mk_transaction_struct : ?args:'a decl_gen list -> ?sourcedby:('a rexpr_gen * 'a term_gen option) -> ?calledby:('a rexpr_gen * 'a term_gen option) -> ?state_is:('a * 'a term_gen option) -> ?accept_transfer:(bool * 'a term_gen option) -> ?constants:'a label_term list -> ?require:'a label_term list -> ?failif:'a label_term list -> ?transition:'a transition -> ?specification:'a specification -> ?functions:'a function_struct list -> ?effect:'a instruction_gen -> ?loc:Location.t -> 'a -> 'a transaction_struct
val mk_enum_item : ?initial:bool -> ?args:ptyp list -> ?invariants:'id label_term list -> ?loc:Location.t -> 'id -> 'id enum_item_struct
val mk_enum : ?items:'a enum_item_struct list -> ?loc:Location.t -> 'a enum_kind -> 'a enum_struct
val mk_decl : ?typ:type_ -> ?default:'a term_gen -> ?shadow:bool -> ?loc:Location.t -> 'a -> 'a decl_gen
val mk_asset : ?fields:'a decl_gen list -> ?keys:'a list -> ?sort:'a list -> ?map_kind:map_kind -> ?state:'a -> ?init:'a term_gen list list -> ?specs:'a label_term list -> ?loc:Location.t -> 'a -> 'a asset_struct
val mk_model : ?parameters:'a parameter list -> ?imports:import_struct list -> ?metadata:metadata_kind -> ?decls:'a decl_ list -> ?funs:'a fun_ list -> ?specifications:'a specification list -> ?securities:security list -> ?loc:Location.t -> 'a -> 'a ast_struct
val mk_id : type_ -> lident -> qualid
val map_ptyp : (type_ -> type_) -> ptyp -> ptyp
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