archetype 1.2.3 · OCaml Package

type lident = Ident.ident Location.loced

and container =

| Aggregate
| Partition
| View

and type_r =

| Tref of lident
| Tcontainer of type_t * container
| Ttuple of type_t list
| Toption of type_t
| Tset of type_t
| Tlist of type_t
| Tmap of type_t * type_t
| Tbig_map of type_t * type_t
| Tor of type_t * type_t
| Tlambda of type_t * type_t
| Tcontract of type_t
| Tkeyof of type_t
| Tticket of type_t
| Tsapling_state of Core.big_int
| Tsapling_transaction of Core.big_int

and type_t = type_r Location.loced * lident option

and logical_operator =

| And
| Or
| Xor
| Imply
| Equiv

and comparison_operator =

| Equal
| Nequal
| Gt
| Ge
| Lt
| Le

and arithmetic_operator =

| Plus
| Minus
| Mult
| DivRat
| DivEuc
| Modulo
| DivMod
| ThreeWayCmp
| ShiftLeft
| ShiftRight

and unary_operator =

| Uminus
| Not

and assignment_operator =

| ValueAssign
| PlusAssign
| MinusAssign
| MultAssign
| DivAssign
| AndAssign
| OrAssign

and quantifier =

| Forall
| Exists

and operator =

| Logical of logical_operator
| Cmp of comparison_operator
| Arith of arithmetic_operator
| Unary of unary_operator

val lident_to_yojson : lident -> Yojson.Safe.t

val lident_of_yojson : 
  Yojson.Safe.t ->
  lident Ppx_deriving_yojson_runtime.error_or

val container_to_yojson : container -> Yojson.Safe.t

val container_of_yojson : 
  Yojson.Safe.t ->
  container Ppx_deriving_yojson_runtime.error_or

val type_r_to_yojson : type_r -> Yojson.Safe.t

val type_r_of_yojson : 
  Yojson.Safe.t ->
  type_r Ppx_deriving_yojson_runtime.error_or

val type_t_to_yojson : type_t -> Yojson.Safe.t

val type_t_of_yojson : 
  Yojson.Safe.t ->
  type_t Ppx_deriving_yojson_runtime.error_or

val logical_operator_to_yojson : logical_operator -> Yojson.Safe.t

val logical_operator_of_yojson : 
  Yojson.Safe.t ->
  logical_operator Ppx_deriving_yojson_runtime.error_or

val comparison_operator_to_yojson : comparison_operator -> Yojson.Safe.t

val comparison_operator_of_yojson : 
  Yojson.Safe.t ->
  comparison_operator Ppx_deriving_yojson_runtime.error_or

val arithmetic_operator_to_yojson : arithmetic_operator -> Yojson.Safe.t

val arithmetic_operator_of_yojson : 
  Yojson.Safe.t ->
  arithmetic_operator Ppx_deriving_yojson_runtime.error_or

val unary_operator_to_yojson : unary_operator -> Yojson.Safe.t

val unary_operator_of_yojson : 
  Yojson.Safe.t ->
  unary_operator Ppx_deriving_yojson_runtime.error_or

val assignment_operator_to_yojson : assignment_operator -> Yojson.Safe.t

val assignment_operator_of_yojson : 
  Yojson.Safe.t ->
  assignment_operator Ppx_deriving_yojson_runtime.error_or

val quantifier_to_yojson : quantifier -> Yojson.Safe.t

val quantifier_of_yojson : 
  Yojson.Safe.t ->
  quantifier Ppx_deriving_yojson_runtime.error_or

val operator_to_yojson : operator -> Yojson.Safe.t

val operator_of_yojson : 
  Yojson.Safe.t ->
  operator Ppx_deriving_yojson_runtime.error_or

val pp_lident : 
  Ppx_deriving_runtime.Format.formatter ->
  lident ->
  Ppx_deriving_runtime.unit

val show_lident : lident -> Ppx_deriving_runtime.string

val pp_container : 
  Ppx_deriving_runtime.Format.formatter ->
  container ->
  Ppx_deriving_runtime.unit

val show_container : container -> Ppx_deriving_runtime.string

val pp_type_r : 
  Ppx_deriving_runtime.Format.formatter ->
  type_r ->
  Ppx_deriving_runtime.unit

val show_type_r : type_r -> Ppx_deriving_runtime.string

val pp_type_t : 
  Ppx_deriving_runtime.Format.formatter ->
  type_t ->
  Ppx_deriving_runtime.unit

val show_type_t : type_t -> Ppx_deriving_runtime.string

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

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

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

val pp_unary_operator : 
  Ppx_deriving_runtime.Format.formatter ->
  unary_operator ->
  Ppx_deriving_runtime.unit

val show_unary_operator : unary_operator -> Ppx_deriving_runtime.string

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

val pp_quantifier : 
  Ppx_deriving_runtime.Format.formatter ->
  quantifier ->
  Ppx_deriving_runtime.unit

val show_quantifier : quantifier -> Ppx_deriving_runtime.string

val pp_operator : 
  Ppx_deriving_runtime.Format.formatter ->
  operator ->
  Ppx_deriving_runtime.unit

val show_operator : operator -> Ppx_deriving_runtime.string

type pattern_unloc =

| Pwild
| Pref of pname Location.loced * lident list

and pname =

| PIdent of Ident.ident
| PCons
| PNil
| PSome
| PNone
| PLeft
| PRight

and pattern = pattern_unloc Location.loced

and var_label =

| VLBefore
| VLIdent of lident

and var_vset =

| VSAdded
| VSUnmoved
| VSRemoved

and for_ident_unloc =

| FIsimple of lident
| FIdouble of lident * lident

and for_ident = for_ident_unloc Location.loced

and transfer_t =

| TTsimple of expr * expr
| TTcontract of expr * expr * lident * type_t * expr
| TTentry of expr * lident * expr
| TTself of expr * lident * expr list
| TToperation of expr

and expr_unloc =

| Eterm of var_vset option * var_label option * lident
| Eliteral of literal
| Earray of expr list
| Erecord of record_item list
| Etuple of expr list
| Edot of expr * lident
| Esqapp of expr * expr
| Emulticomp of expr * (comparison_operator Location.loced * expr) list
| Eapp of function_ * expr list
| Emethod of expr * lident * expr list
| Etransfer of transfer_t
| Edorequire of expr * expr
| Edofailif of expr * expr
| Efail of expr
| Eassign of assignment_operator * expr * expr
| Eif of expr * expr * expr option
| Efor of lident option * for_ident * expr * expr
| Eiter of lident option * lident * expr option * expr * expr
| Ewhile of lident option * expr * expr
| Eseq of expr * expr
| Eletin of lident * type_t option * expr * expr * expr option
| Evar of lident * type_t option * expr
| Ematchwith of expr * branch list
| Efold of expr * lident * expr
| Emap of expr * lident * expr
| Erecupdate of expr * (lident * expr) list
| Equantifier of quantifier * lident * quantifier_kind * expr
| Eassert of lident
| Elabel of lident
| Ereturn of expr
| Eoption of option_
| Eor of or_
| Elambda of type_t option * lident * type_t option * expr
| Eentrypoint of type_t * expr * expr
| Eunpack of type_t * expr
| Eself of lident
| Eany
| Enothing
| Eunit
| Einvalid

and branch = pattern list * expr

and scope =

| Added
| After
| Before
| Fixed
| Removed
| Stable

and quantifier_kind =

| Qcollection of expr
| Qtype of type_t

and option_ =

| OSome of expr
| ONone of type_t option

and or_ =

| Oleft of type_t option * type_t * expr
| Oright of type_t * type_t option * expr

and function_ =

| Fident of lident
| Foperator of operator Location.loced

and literal =

| Lint of Core.big_int
| Lnat of Core.big_int
| Ldecimal of string
| Ltz of string
| Lmtz of string
| Lutz of string
| Laddress of string
| Lstring of string
| Lbool of bool
| Lduration of string
| Ldate of string
| Lbytes of string
| Lpercent of string

and record_item = (assignment_operator * lident) option * expr

and expr = expr_unloc Location.loced

and lident_typ = lident * type_t * extension list option

and label_expr = (lident * expr) Location.loced

and label_exprs = label_expr list

and extension_unloc =

| Eextension of lident * expr list
(*
extension
*)

and extension = extension_unloc Location.loced

and exts = extension list option

and field_unloc =

| Ffield of lident * type_t * expr option * exts
(*
field
*)

and field = field_unloc Location.loced

and args = lident_typ list

and invariants = (lident * expr list) list

and specification_item_unloc =

| Vpredicate of lident * args * expr
| Vdefinition of lident * type_t * lident * expr
| Vvariable of lident * type_t * expr option
| Veffect of expr
| Vassert of lident * expr * invariants * lident list
| Vfails of (lident * lident * type_t * expr) list
| Vpostcondition of lident * expr * invariants * lident list * postkind option

and postkind =

| PKPost
| PKInv

and specification_item = specification_item_unloc Location.loced

and specification_unloc = specification_item list * exts

and specification = specification_unloc Location.loced

and security_arg_unloc =

| Sident of lident
| Sdot of lident * lident
| Slist of security_arg list
| Sapp of lident * security_arg list
| Sbut of lident * security_arg
| Sto of lident * security_arg

and security_arg = security_arg_unloc Location.loced

and security_item_unloc = lident * lident * security_arg list

and security_item = security_item_unloc Location.loced

and security_unloc = security_item list * exts

and security = security_unloc Location.loced

and s_function = {

name : lident;
args : args;
ret_t : type_t option;
spec : specification option;
body : expr;
getter : bool;

}

and entry_properties = {

accept_transfer : bool;
calledby : (expr * exts) option;
require : ((lident * expr * expr option) list * exts) option;
failif : ((lident * expr * expr option) list * exts) option;
spec_fun : specification option;
functions : s_function Location.loced list;

}

and transition = (lident * (expr * exts) option * (expr * exts) option) list

and parameter = (lident * type_t * expr option * bool) Location.loced

and parameters = parameter list Location.loced option

and variable_kind =

| VKvariable
| VKconstant

and enum_kind =

| EKenum of lident
| EKstate

and declaration_unloc =

| Darchetype of lident * parameters * exts
| Dvariable of variable_decl
| Denum of enum_kind * enum_decl
| Dasset of asset_decl
| Drecord of record_decl
| Dentry of entry_decl
| Dtransition of transition_decl
| Dextension of extension_decl
| Dnamespace of namespace_decl
| Dfunction of s_function
| Dspecification of specification
| Dspecasset of lident * label_exprs
| Dspecfun of specfun
| Dspecvariable of lident * label_exprs
| Dsecurity of security
| Dtype of lident * type_t
| Dinvalid

and specfun_kind =

| SKentry
| SKfunction
| SKgetter

and specfun = specfun_kind * lident * args * specification

and variable_decl =
  lident * type_t * expr option * variable_kind * label_exprs * exts

and enum_decl = (lident * type_t list * enum_option list) list * exts

and asset_decl =
  lident
  * field list
  * field list
  * asset_option list
  * asset_post_option list
  * asset_operation option
  * exts

and record_decl = lident * field list * expr option * exts

and entry_decl = lident * args * entry_properties * (expr * exts) option * exts

and transition_decl =
  lident
  * args
  * (lident * type_t) option
  * expr
  * entry_properties
  * transition
  * exts

and extension_decl = lident * expr list

and namespace_decl = lident * declaration list

and asset_option =

| AOidentifiedby of lident list
| AOsortedby of lident
| AOtoBigMap

and asset_post_option =

| APOstates of lident
| APOconstraints of label_exprs
| APOinit of expr list

and enum_option =

| EOinitial
| EOspecification of label_exprs

and declaration = declaration_unloc Location.loced

and asset_operation_enum =

| AOadd
| AOremove
| AOupdate

and asset_operation =

| AssetOperation of asset_operation_enum list * expr option

and archetype_unloc =

| Marchetype of declaration list
| Mextension of lident * declaration list * declaration list

and archetype = archetype_unloc Location.loced

include sig ... end

class virtual +'a map : object ... end

include sig ... end

class virtual +'a iter : object ... end

include sig ... end

class virtual +'a reduce : object ... end

include sig ... end

class virtual +'a reduce2 : object ... end

val pattern_unloc_to_yojson : pattern_unloc -> Yojson.Safe.t

val pattern_unloc_of_yojson : 
  Yojson.Safe.t ->
  pattern_unloc Ppx_deriving_yojson_runtime.error_or

val pname_to_yojson : pname -> Yojson.Safe.t

val pname_of_yojson : 
  Yojson.Safe.t ->
  pname Ppx_deriving_yojson_runtime.error_or

val pattern_to_yojson : pattern -> Yojson.Safe.t

val pattern_of_yojson : 
  Yojson.Safe.t ->
  pattern Ppx_deriving_yojson_runtime.error_or

val var_label_to_yojson : var_label -> Yojson.Safe.t

val var_label_of_yojson : 
  Yojson.Safe.t ->
  var_label Ppx_deriving_yojson_runtime.error_or

val var_vset_to_yojson : var_vset -> Yojson.Safe.t

val var_vset_of_yojson : 
  Yojson.Safe.t ->
  var_vset Ppx_deriving_yojson_runtime.error_or

val for_ident_unloc_to_yojson : for_ident_unloc -> Yojson.Safe.t

val for_ident_unloc_of_yojson : 
  Yojson.Safe.t ->
  for_ident_unloc Ppx_deriving_yojson_runtime.error_or

val for_ident_to_yojson : for_ident -> Yojson.Safe.t

val for_ident_of_yojson : 
  Yojson.Safe.t ->
  for_ident Ppx_deriving_yojson_runtime.error_or

val transfer_t_to_yojson : transfer_t -> Yojson.Safe.t

val transfer_t_of_yojson : 
  Yojson.Safe.t ->
  transfer_t Ppx_deriving_yojson_runtime.error_or

val expr_unloc_to_yojson : expr_unloc -> Yojson.Safe.t

val expr_unloc_of_yojson : 
  Yojson.Safe.t ->
  expr_unloc Ppx_deriving_yojson_runtime.error_or

val branch_to_yojson : branch -> Yojson.Safe.t

val branch_of_yojson : 
  Yojson.Safe.t ->
  branch Ppx_deriving_yojson_runtime.error_or

val scope_to_yojson : scope -> Yojson.Safe.t

val scope_of_yojson : 
  Yojson.Safe.t ->
  scope Ppx_deriving_yojson_runtime.error_or

val quantifier_kind_to_yojson : quantifier_kind -> Yojson.Safe.t

val quantifier_kind_of_yojson : 
  Yojson.Safe.t ->
  quantifier_kind Ppx_deriving_yojson_runtime.error_or

val option__to_yojson : option_ -> Yojson.Safe.t

val option__of_yojson : 
  Yojson.Safe.t ->
  option_ Ppx_deriving_yojson_runtime.error_or

val or__to_yojson : or_ -> Yojson.Safe.t

val or__of_yojson : Yojson.Safe.t -> or_ Ppx_deriving_yojson_runtime.error_or

val function__to_yojson : function_ -> Yojson.Safe.t

val function__of_yojson : 
  Yojson.Safe.t ->
  function_ Ppx_deriving_yojson_runtime.error_or

val literal_to_yojson : literal -> Yojson.Safe.t

val literal_of_yojson : 
  Yojson.Safe.t ->
  literal Ppx_deriving_yojson_runtime.error_or

val record_item_to_yojson : record_item -> Yojson.Safe.t

val record_item_of_yojson : 
  Yojson.Safe.t ->
  record_item Ppx_deriving_yojson_runtime.error_or

val expr_to_yojson : expr -> Yojson.Safe.t

val expr_of_yojson : Yojson.Safe.t -> expr Ppx_deriving_yojson_runtime.error_or

val lident_typ_to_yojson : lident_typ -> Yojson.Safe.t

val lident_typ_of_yojson : 
  Yojson.Safe.t ->
  lident_typ Ppx_deriving_yojson_runtime.error_or

val label_expr_to_yojson : label_expr -> Yojson.Safe.t

val label_expr_of_yojson : 
  Yojson.Safe.t ->
  label_expr Ppx_deriving_yojson_runtime.error_or

val label_exprs_to_yojson : label_exprs -> Yojson.Safe.t

val label_exprs_of_yojson : 
  Yojson.Safe.t ->
  label_exprs Ppx_deriving_yojson_runtime.error_or

val extension_unloc_to_yojson : extension_unloc -> Yojson.Safe.t

val extension_unloc_of_yojson : 
  Yojson.Safe.t ->
  extension_unloc Ppx_deriving_yojson_runtime.error_or

val extension_to_yojson : extension -> Yojson.Safe.t

val extension_of_yojson : 
  Yojson.Safe.t ->
  extension Ppx_deriving_yojson_runtime.error_or

val exts_to_yojson : exts -> Yojson.Safe.t

val exts_of_yojson : Yojson.Safe.t -> exts Ppx_deriving_yojson_runtime.error_or

val field_unloc_to_yojson : field_unloc -> Yojson.Safe.t

val field_unloc_of_yojson : 
  Yojson.Safe.t ->
  field_unloc Ppx_deriving_yojson_runtime.error_or

val field_to_yojson : field -> Yojson.Safe.t

val field_of_yojson : 
  Yojson.Safe.t ->
  field Ppx_deriving_yojson_runtime.error_or

val args_to_yojson : args -> Yojson.Safe.t

val args_of_yojson : Yojson.Safe.t -> args Ppx_deriving_yojson_runtime.error_or

val invariants_to_yojson : invariants -> Yojson.Safe.t

val invariants_of_yojson : 
  Yojson.Safe.t ->
  invariants Ppx_deriving_yojson_runtime.error_or

val specification_item_unloc_to_yojson : 
  specification_item_unloc ->
  Yojson.Safe.t

val specification_item_unloc_of_yojson : 
  Yojson.Safe.t ->
  specification_item_unloc Ppx_deriving_yojson_runtime.error_or

val postkind_to_yojson : postkind -> Yojson.Safe.t

val postkind_of_yojson : 
  Yojson.Safe.t ->
  postkind Ppx_deriving_yojson_runtime.error_or

val specification_item_to_yojson : specification_item -> Yojson.Safe.t

val specification_item_of_yojson : 
  Yojson.Safe.t ->
  specification_item Ppx_deriving_yojson_runtime.error_or

val specification_unloc_to_yojson : specification_unloc -> Yojson.Safe.t

val specification_unloc_of_yojson : 
  Yojson.Safe.t ->
  specification_unloc Ppx_deriving_yojson_runtime.error_or

val specification_to_yojson : specification -> Yojson.Safe.t

val specification_of_yojson : 
  Yojson.Safe.t ->
  specification Ppx_deriving_yojson_runtime.error_or

val security_arg_unloc_to_yojson : security_arg_unloc -> Yojson.Safe.t

val security_arg_unloc_of_yojson : 
  Yojson.Safe.t ->
  security_arg_unloc Ppx_deriving_yojson_runtime.error_or

val security_arg_to_yojson : security_arg -> Yojson.Safe.t

val security_arg_of_yojson : 
  Yojson.Safe.t ->
  security_arg Ppx_deriving_yojson_runtime.error_or

val security_item_unloc_to_yojson : security_item_unloc -> Yojson.Safe.t

val security_item_unloc_of_yojson : 
  Yojson.Safe.t ->
  security_item_unloc Ppx_deriving_yojson_runtime.error_or

val security_item_to_yojson : security_item -> Yojson.Safe.t

val security_item_of_yojson : 
  Yojson.Safe.t ->
  security_item Ppx_deriving_yojson_runtime.error_or

val security_unloc_to_yojson : security_unloc -> Yojson.Safe.t

val security_unloc_of_yojson : 
  Yojson.Safe.t ->
  security_unloc Ppx_deriving_yojson_runtime.error_or

val security_to_yojson : security -> Yojson.Safe.t

val security_of_yojson : 
  Yojson.Safe.t ->
  security Ppx_deriving_yojson_runtime.error_or

val s_function_to_yojson : s_function -> Yojson.Safe.t

val s_function_of_yojson : 
  Yojson.Safe.t ->
  s_function Ppx_deriving_yojson_runtime.error_or

val entry_properties_to_yojson : entry_properties -> Yojson.Safe.t

val entry_properties_of_yojson : 
  Yojson.Safe.t ->
  entry_properties Ppx_deriving_yojson_runtime.error_or

val transition_to_yojson : transition -> Yojson.Safe.t

val transition_of_yojson : 
  Yojson.Safe.t ->
  transition Ppx_deriving_yojson_runtime.error_or

val parameter_to_yojson : parameter -> Yojson.Safe.t

val parameter_of_yojson : 
  Yojson.Safe.t ->
  parameter Ppx_deriving_yojson_runtime.error_or

val parameters_to_yojson : parameters -> Yojson.Safe.t

val parameters_of_yojson : 
  Yojson.Safe.t ->
  parameters Ppx_deriving_yojson_runtime.error_or

val variable_kind_to_yojson : variable_kind -> Yojson.Safe.t

val variable_kind_of_yojson : 
  Yojson.Safe.t ->
  variable_kind Ppx_deriving_yojson_runtime.error_or

val enum_kind_to_yojson : enum_kind -> Yojson.Safe.t

val enum_kind_of_yojson : 
  Yojson.Safe.t ->
  enum_kind Ppx_deriving_yojson_runtime.error_or

val declaration_unloc_to_yojson : declaration_unloc -> Yojson.Safe.t

val declaration_unloc_of_yojson : 
  Yojson.Safe.t ->
  declaration_unloc Ppx_deriving_yojson_runtime.error_or

val specfun_kind_to_yojson : specfun_kind -> Yojson.Safe.t

val specfun_kind_of_yojson : 
  Yojson.Safe.t ->
  specfun_kind Ppx_deriving_yojson_runtime.error_or

val specfun_to_yojson : specfun -> Yojson.Safe.t

val specfun_of_yojson : 
  Yojson.Safe.t ->
  specfun Ppx_deriving_yojson_runtime.error_or

val variable_decl_to_yojson : variable_decl -> Yojson.Safe.t

val variable_decl_of_yojson : 
  Yojson.Safe.t ->
  variable_decl Ppx_deriving_yojson_runtime.error_or

val enum_decl_to_yojson : enum_decl -> Yojson.Safe.t

val enum_decl_of_yojson : 
  Yojson.Safe.t ->
  enum_decl Ppx_deriving_yojson_runtime.error_or

val asset_decl_to_yojson : asset_decl -> Yojson.Safe.t

val asset_decl_of_yojson : 
  Yojson.Safe.t ->
  asset_decl Ppx_deriving_yojson_runtime.error_or

val record_decl_to_yojson : record_decl -> Yojson.Safe.t

val record_decl_of_yojson : 
  Yojson.Safe.t ->
  record_decl Ppx_deriving_yojson_runtime.error_or

val entry_decl_to_yojson : entry_decl -> Yojson.Safe.t

val entry_decl_of_yojson : 
  Yojson.Safe.t ->
  entry_decl Ppx_deriving_yojson_runtime.error_or

val transition_decl_to_yojson : transition_decl -> Yojson.Safe.t

val transition_decl_of_yojson : 
  Yojson.Safe.t ->
  transition_decl Ppx_deriving_yojson_runtime.error_or

val extension_decl_to_yojson : extension_decl -> Yojson.Safe.t

val extension_decl_of_yojson : 
  Yojson.Safe.t ->
  extension_decl Ppx_deriving_yojson_runtime.error_or

val namespace_decl_to_yojson : namespace_decl -> Yojson.Safe.t

val namespace_decl_of_yojson : 
  Yojson.Safe.t ->
  namespace_decl Ppx_deriving_yojson_runtime.error_or

val asset_option_to_yojson : asset_option -> Yojson.Safe.t

val asset_option_of_yojson : 
  Yojson.Safe.t ->
  asset_option Ppx_deriving_yojson_runtime.error_or

val asset_post_option_to_yojson : asset_post_option -> Yojson.Safe.t

val asset_post_option_of_yojson : 
  Yojson.Safe.t ->
  asset_post_option Ppx_deriving_yojson_runtime.error_or

val enum_option_to_yojson : enum_option -> Yojson.Safe.t

val enum_option_of_yojson : 
  Yojson.Safe.t ->
  enum_option Ppx_deriving_yojson_runtime.error_or

val declaration_to_yojson : declaration -> Yojson.Safe.t

val declaration_of_yojson : 
  Yojson.Safe.t ->
  declaration Ppx_deriving_yojson_runtime.error_or

val asset_operation_enum_to_yojson : asset_operation_enum -> Yojson.Safe.t

val asset_operation_enum_of_yojson : 
  Yojson.Safe.t ->
  asset_operation_enum Ppx_deriving_yojson_runtime.error_or

val asset_operation_to_yojson : asset_operation -> Yojson.Safe.t

val asset_operation_of_yojson : 
  Yojson.Safe.t ->
  asset_operation Ppx_deriving_yojson_runtime.error_or

val archetype_unloc_to_yojson : archetype_unloc -> Yojson.Safe.t

val archetype_unloc_of_yojson : 
  Yojson.Safe.t ->
  archetype_unloc Ppx_deriving_yojson_runtime.error_or

val archetype_to_yojson : archetype -> Yojson.Safe.t

val archetype_of_yojson : 
  Yojson.Safe.t ->
  archetype Ppx_deriving_yojson_runtime.error_or

val _ : Yojson.Safe.t -> archetype Ppx_deriving_yojson_runtime.error_or

val pp_pattern_unloc : 
  Ppx_deriving_runtime.Format.formatter ->
  pattern_unloc ->
  Ppx_deriving_runtime.unit

val show_pattern_unloc : pattern_unloc -> Ppx_deriving_runtime.string

val pp_pname : 
  Ppx_deriving_runtime.Format.formatter ->
  pname ->
  Ppx_deriving_runtime.unit

val show_pname : pname -> Ppx_deriving_runtime.string

val pp_pattern : 
  Ppx_deriving_runtime.Format.formatter ->
  pattern ->
  Ppx_deriving_runtime.unit

val show_pattern : pattern -> Ppx_deriving_runtime.string

val pp_var_label : 
  Ppx_deriving_runtime.Format.formatter ->
  var_label ->
  Ppx_deriving_runtime.unit

val show_var_label : var_label -> Ppx_deriving_runtime.string

val pp_var_vset : 
  Ppx_deriving_runtime.Format.formatter ->
  var_vset ->
  Ppx_deriving_runtime.unit

val show_var_vset : var_vset -> Ppx_deriving_runtime.string

val pp_for_ident_unloc : 
  Ppx_deriving_runtime.Format.formatter ->
  for_ident_unloc ->
  Ppx_deriving_runtime.unit

val show_for_ident_unloc : for_ident_unloc -> Ppx_deriving_runtime.string

val pp_for_ident : 
  Ppx_deriving_runtime.Format.formatter ->
  for_ident ->
  Ppx_deriving_runtime.unit

val show_for_ident : for_ident -> Ppx_deriving_runtime.string

val pp_transfer_t : 
  Ppx_deriving_runtime.Format.formatter ->
  transfer_t ->
  Ppx_deriving_runtime.unit

val show_transfer_t : transfer_t -> Ppx_deriving_runtime.string

val pp_expr_unloc : 
  Ppx_deriving_runtime.Format.formatter ->
  expr_unloc ->
  Ppx_deriving_runtime.unit

val show_expr_unloc : expr_unloc -> Ppx_deriving_runtime.string

val pp_branch : 
  Ppx_deriving_runtime.Format.formatter ->
  branch ->
  Ppx_deriving_runtime.unit

val show_branch : branch -> Ppx_deriving_runtime.string

val pp_scope : 
  Ppx_deriving_runtime.Format.formatter ->
  scope ->
  Ppx_deriving_runtime.unit

val show_scope : scope -> Ppx_deriving_runtime.string

val pp_quantifier_kind : 
  Ppx_deriving_runtime.Format.formatter ->
  quantifier_kind ->
  Ppx_deriving_runtime.unit

val show_quantifier_kind : quantifier_kind -> Ppx_deriving_runtime.string

val pp_option_ : 
  Ppx_deriving_runtime.Format.formatter ->
  option_ ->
  Ppx_deriving_runtime.unit

val show_option_ : option_ -> Ppx_deriving_runtime.string

val pp_or_ : 
  Ppx_deriving_runtime.Format.formatter ->
  or_ ->
  Ppx_deriving_runtime.unit

val show_or_ : or_ -> Ppx_deriving_runtime.string

val pp_function_ : 
  Ppx_deriving_runtime.Format.formatter ->
  function_ ->
  Ppx_deriving_runtime.unit

val show_function_ : function_ -> Ppx_deriving_runtime.string

val pp_literal : 
  Ppx_deriving_runtime.Format.formatter ->
  literal ->
  Ppx_deriving_runtime.unit

val show_literal : literal -> Ppx_deriving_runtime.string

val pp_record_item : 
  Ppx_deriving_runtime.Format.formatter ->
  record_item ->
  Ppx_deriving_runtime.unit

val show_record_item : record_item -> Ppx_deriving_runtime.string

val pp_expr : 
  Ppx_deriving_runtime.Format.formatter ->
  expr ->
  Ppx_deriving_runtime.unit

val show_expr : expr -> Ppx_deriving_runtime.string

val pp_lident_typ : 
  Ppx_deriving_runtime.Format.formatter ->
  lident_typ ->
  Ppx_deriving_runtime.unit

val show_lident_typ : lident_typ -> Ppx_deriving_runtime.string

val pp_label_expr : 
  Ppx_deriving_runtime.Format.formatter ->
  label_expr ->
  Ppx_deriving_runtime.unit

val show_label_expr : label_expr -> Ppx_deriving_runtime.string

val pp_label_exprs : 
  Ppx_deriving_runtime.Format.formatter ->
  label_exprs ->
  Ppx_deriving_runtime.unit

val show_label_exprs : label_exprs -> Ppx_deriving_runtime.string

val pp_extension_unloc : 
  Ppx_deriving_runtime.Format.formatter ->
  extension_unloc ->
  Ppx_deriving_runtime.unit

val show_extension_unloc : extension_unloc -> Ppx_deriving_runtime.string

val pp_extension : 
  Ppx_deriving_runtime.Format.formatter ->
  extension ->
  Ppx_deriving_runtime.unit

val show_extension : extension -> Ppx_deriving_runtime.string

val pp_exts : 
  Ppx_deriving_runtime.Format.formatter ->
  exts ->
  Ppx_deriving_runtime.unit

val show_exts : exts -> Ppx_deriving_runtime.string

val pp_field_unloc : 
  Ppx_deriving_runtime.Format.formatter ->
  field_unloc ->
  Ppx_deriving_runtime.unit

val show_field_unloc : field_unloc -> Ppx_deriving_runtime.string

val pp_field : 
  Ppx_deriving_runtime.Format.formatter ->
  field ->
  Ppx_deriving_runtime.unit

val show_field : field -> Ppx_deriving_runtime.string

val pp_args : 
  Ppx_deriving_runtime.Format.formatter ->
  args ->
  Ppx_deriving_runtime.unit

val show_args : args -> Ppx_deriving_runtime.string

val pp_invariants : 
  Ppx_deriving_runtime.Format.formatter ->
  invariants ->
  Ppx_deriving_runtime.unit

val show_invariants : invariants -> Ppx_deriving_runtime.string

val pp_specification_item_unloc : 
  Ppx_deriving_runtime.Format.formatter ->
  specification_item_unloc ->
  Ppx_deriving_runtime.unit

val show_specification_item_unloc : 
  specification_item_unloc ->
  Ppx_deriving_runtime.string

val pp_postkind : 
  Ppx_deriving_runtime.Format.formatter ->
  postkind ->
  Ppx_deriving_runtime.unit

val show_postkind : postkind -> Ppx_deriving_runtime.string

val pp_specification_item : 
  Ppx_deriving_runtime.Format.formatter ->
  specification_item ->
  Ppx_deriving_runtime.unit

val show_specification_item : specification_item -> Ppx_deriving_runtime.string

val pp_specification_unloc : 
  Ppx_deriving_runtime.Format.formatter ->
  specification_unloc ->
  Ppx_deriving_runtime.unit

val show_specification_unloc : 
  specification_unloc ->
  Ppx_deriving_runtime.string

val pp_specification : 
  Ppx_deriving_runtime.Format.formatter ->
  specification ->
  Ppx_deriving_runtime.unit

val show_specification : specification -> Ppx_deriving_runtime.string

val pp_security_arg_unloc : 
  Ppx_deriving_runtime.Format.formatter ->
  security_arg_unloc ->
  Ppx_deriving_runtime.unit

val show_security_arg_unloc : security_arg_unloc -> Ppx_deriving_runtime.string

val pp_security_arg : 
  Ppx_deriving_runtime.Format.formatter ->
  security_arg ->
  Ppx_deriving_runtime.unit

val show_security_arg : security_arg -> Ppx_deriving_runtime.string

val pp_security_item_unloc : 
  Ppx_deriving_runtime.Format.formatter ->
  security_item_unloc ->
  Ppx_deriving_runtime.unit

val show_security_item_unloc : 
  security_item_unloc ->
  Ppx_deriving_runtime.string

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

val pp_security_unloc : 
  Ppx_deriving_runtime.Format.formatter ->
  security_unloc ->
  Ppx_deriving_runtime.unit

val show_security_unloc : security_unloc -> Ppx_deriving_runtime.string

val pp_security : 
  Ppx_deriving_runtime.Format.formatter ->
  security ->
  Ppx_deriving_runtime.unit

val show_security : security -> Ppx_deriving_runtime.string

val pp_s_function : 
  Ppx_deriving_runtime.Format.formatter ->
  s_function ->
  Ppx_deriving_runtime.unit

val show_s_function : s_function -> Ppx_deriving_runtime.string

val pp_entry_properties : 
  Ppx_deriving_runtime.Format.formatter ->
  entry_properties ->
  Ppx_deriving_runtime.unit

val show_entry_properties : entry_properties -> Ppx_deriving_runtime.string

val pp_transition : 
  Ppx_deriving_runtime.Format.formatter ->
  transition ->
  Ppx_deriving_runtime.unit

val show_transition : transition -> Ppx_deriving_runtime.string

val pp_parameter : 
  Ppx_deriving_runtime.Format.formatter ->
  parameter ->
  Ppx_deriving_runtime.unit

val show_parameter : parameter -> Ppx_deriving_runtime.string

val pp_parameters : 
  Ppx_deriving_runtime.Format.formatter ->
  parameters ->
  Ppx_deriving_runtime.unit

val show_parameters : parameters -> Ppx_deriving_runtime.string

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

val pp_enum_kind : 
  Ppx_deriving_runtime.Format.formatter ->
  enum_kind ->
  Ppx_deriving_runtime.unit

val show_enum_kind : enum_kind -> Ppx_deriving_runtime.string

val pp_declaration_unloc : 
  Ppx_deriving_runtime.Format.formatter ->
  declaration_unloc ->
  Ppx_deriving_runtime.unit

val show_declaration_unloc : declaration_unloc -> Ppx_deriving_runtime.string

val pp_specfun_kind : 
  Ppx_deriving_runtime.Format.formatter ->
  specfun_kind ->
  Ppx_deriving_runtime.unit

val show_specfun_kind : specfun_kind -> Ppx_deriving_runtime.string

val pp_specfun : 
  Ppx_deriving_runtime.Format.formatter ->
  specfun ->
  Ppx_deriving_runtime.unit

val show_specfun : specfun -> Ppx_deriving_runtime.string

val pp_variable_decl : 
  Ppx_deriving_runtime.Format.formatter ->
  variable_decl ->
  Ppx_deriving_runtime.unit

val show_variable_decl : variable_decl -> Ppx_deriving_runtime.string

val pp_enum_decl : 
  Ppx_deriving_runtime.Format.formatter ->
  enum_decl ->
  Ppx_deriving_runtime.unit

val show_enum_decl : enum_decl -> Ppx_deriving_runtime.string

val pp_asset_decl : 
  Ppx_deriving_runtime.Format.formatter ->
  asset_decl ->
  Ppx_deriving_runtime.unit

val show_asset_decl : asset_decl -> Ppx_deriving_runtime.string

val pp_record_decl : 
  Ppx_deriving_runtime.Format.formatter ->
  record_decl ->
  Ppx_deriving_runtime.unit

val show_record_decl : record_decl -> Ppx_deriving_runtime.string

val pp_entry_decl : 
  Ppx_deriving_runtime.Format.formatter ->
  entry_decl ->
  Ppx_deriving_runtime.unit

val show_entry_decl : entry_decl -> Ppx_deriving_runtime.string

val pp_transition_decl : 
  Ppx_deriving_runtime.Format.formatter ->
  transition_decl ->
  Ppx_deriving_runtime.unit

val show_transition_decl : transition_decl -> Ppx_deriving_runtime.string

val pp_extension_decl : 
  Ppx_deriving_runtime.Format.formatter ->
  extension_decl ->
  Ppx_deriving_runtime.unit

val show_extension_decl : extension_decl -> Ppx_deriving_runtime.string

val pp_namespace_decl : 
  Ppx_deriving_runtime.Format.formatter ->
  namespace_decl ->
  Ppx_deriving_runtime.unit

val show_namespace_decl : namespace_decl -> Ppx_deriving_runtime.string

val pp_asset_option : 
  Ppx_deriving_runtime.Format.formatter ->
  asset_option ->
  Ppx_deriving_runtime.unit

val show_asset_option : asset_option -> Ppx_deriving_runtime.string

val pp_asset_post_option : 
  Ppx_deriving_runtime.Format.formatter ->
  asset_post_option ->
  Ppx_deriving_runtime.unit

val show_asset_post_option : asset_post_option -> Ppx_deriving_runtime.string

val pp_enum_option : 
  Ppx_deriving_runtime.Format.formatter ->
  enum_option ->
  Ppx_deriving_runtime.unit

val show_enum_option : enum_option -> Ppx_deriving_runtime.string

val pp_declaration : 
  Ppx_deriving_runtime.Format.formatter ->
  declaration ->
  Ppx_deriving_runtime.unit

val show_declaration : declaration -> Ppx_deriving_runtime.string

val pp_asset_operation_enum : 
  Ppx_deriving_runtime.Format.formatter ->
  asset_operation_enum ->
  Ppx_deriving_runtime.unit

val show_asset_operation_enum : 
  asset_operation_enum ->
  Ppx_deriving_runtime.string

val pp_asset_operation : 
  Ppx_deriving_runtime.Format.formatter ->
  asset_operation ->
  Ppx_deriving_runtime.unit

val show_asset_operation : asset_operation -> Ppx_deriving_runtime.string

val pp_archetype_unloc : 
  Ppx_deriving_runtime.Format.formatter ->
  archetype_unloc ->
  Ppx_deriving_runtime.unit

val show_archetype_unloc : archetype_unloc -> Ppx_deriving_runtime.string

val pp_archetype : 
  Ppx_deriving_runtime.Format.formatter ->
  archetype ->
  Ppx_deriving_runtime.unit

val show_archetype : archetype -> Ppx_deriving_runtime.string

val tref : ?loc:Location.t -> ?a:lident -> Ident.ident -> type_t

val tunit : type_t

val tstring : type_t

val tnat : type_t

val tint : type_t

val trational : type_t

val tbool : type_t

val trole : type_t

val taddress : type_t

val tdate : type_t

val ttez : type_t

val tduration : type_t

val tsignature : type_t

val tkey : type_t

val tkey_hash : type_t

val tbytes : type_t

val tchain_id : type_t

val toperation : type_t

val tbls12_381_fr : type_t

val tbls12_381_g1 : type_t

val tbls12_381_g2 : type_t

val tnever : type_t

val mk_tcontainer : 
  ?loc:Location.t ->
  ?a:lident ->
  type_t ->
  container ->
  type_t

val mk_ttuple : ?loc:Location.t -> ?a:lident -> type_t list -> type_t

val mk_toption : ?loc:Location.t -> ?a:lident -> type_t -> type_t

val mk_tset : ?loc:Location.t -> ?a:lident -> type_t -> type_t

val mk_tlist : ?loc:Location.t -> ?a:lident -> type_t -> type_t

val mk_tmap : ?loc:Location.t -> ?a:lident -> type_t -> type_t -> type_t

val mk_tor : ?loc:Location.t -> ?a:lident -> type_t -> type_t -> type_t

val mk_tcontract : ?loc:Location.t -> ?a:lident -> type_t -> type_t

val mk_tkeyof : ?loc:Location.t -> ?a:lident -> type_t -> type_t

val mk_tticket : ?loc:Location.t -> ?a:lident -> type_t -> type_t

val mk_sapling_state : ?loc:Location.t -> ?a:lident -> Core.big_int -> type_t

val mk_sapling_transaction : 
  ?loc:Location.t ->
  ?a:lident ->
  Core.big_int ->
  type_t

val mk_eliteral : ?loc:Location.t -> literal -> expr_unloc Location.loced

val ebint : Core.big_int -> expr_unloc Location.loced

val eint : int -> expr_unloc Location.loced

val ebnat : Core.big_int -> expr_unloc Location.loced

val enat : int -> expr_unloc Location.loced

val ebtz : string -> expr_unloc Location.loced

val emtz : string -> expr_unloc Location.loced

val eutz : string -> expr_unloc Location.loced

val epercent : string -> expr_unloc Location.loced

val etrue : expr_unloc Location.loced

val efalse : expr_unloc Location.loced

val edecimal : string -> expr_unloc Location.loced

val eaddress : string -> expr_unloc Location.loced

val estring : string -> expr_unloc Location.loced

val eduration : string -> expr_unloc Location.loced

val edate : string -> expr_unloc Location.loced

val ebytes : string -> expr_unloc Location.loced

val eterm : 
  ?loc:Location.t ->
  ?temp:var_label ->
  ?delta:var_vset ->
  lident ->
  expr_unloc Location.loced

val earray : ?loc:Location.t -> expr list -> expr_unloc Location.loced

val erecord : ?loc:Location.t -> record_item list -> expr_unloc Location.loced

val etuple : ?loc:Location.t -> expr list -> expr_unloc Location.loced

val edot : ?loc:Location.t -> expr -> lident -> expr_unloc Location.loced

val esqapp : ?loc:Location.t -> expr -> expr -> expr_unloc Location.loced

val emulticomp : 
  ?loc:Location.t ->
  expr ->
  (comparison_operator Location.loced * expr) list ->
  expr_unloc Location.loced

val eapp : 
  ?loc:Location.t ->
  function_ ->
  expr list ->
  expr_unloc Location.loced

val emethod : 
  ?loc:Location.t ->
  expr ->
  lident ->
  expr list ->
  expr_unloc Location.loced

val etransfer : ?loc:Location.t -> transfer_t -> expr_unloc Location.loced

val edorequire : ?loc:Location.t -> expr -> expr -> expr_unloc Location.loced

val edofailif : ?loc:Location.t -> expr -> expr -> expr_unloc Location.loced

val efail : ?loc:Location.t -> expr -> expr_unloc Location.loced

val eassign : 
  ?loc:Location.t ->
  assignment_operator ->
  expr ->
  expr ->
  expr_unloc Location.loced

val eif : 
  ?loc:Location.t ->
  ?e:expr ->
  expr ->
  expr ->
  expr_unloc Location.loced

val efor : 
  ?loc:Location.t ->
  ?lbl:lident ->
  for_ident ->
  expr ->
  expr ->
  expr_unloc Location.loced

val eiter : 
  ?loc:Location.t ->
  ?lbl:lident ->
  ?min:expr ->
  lident ->
  expr ->
  expr ->
  expr_unloc Location.loced

val ewhile : 
  ?loc:Location.t ->
  ?lbl:lident ->
  expr ->
  expr ->
  expr_unloc Location.loced

val eseq : ?loc:Location.t -> expr -> expr -> expr_unloc Location.loced

val eletin : 
  ?loc:Location.t ->
  ?t:type_t ->
  ?o:expr ->
  lident ->
  expr ->
  expr ->
  expr_unloc Location.loced

val evar : 
  ?loc:Location.t ->
  ?t:type_t ->
  lident ->
  expr ->
  expr_unloc Location.loced

val ematchwith : 
  ?loc:Location.t ->
  expr ->
  branch list ->
  expr_unloc Location.loced

val erecupdate : 
  ?loc:Location.t ->
  expr ->
  (lident * expr) list ->
  expr_unloc Location.loced

val equantifier : 
  ?loc:Location.t ->
  quantifier ->
  lident ->
  quantifier_kind ->
  expr ->
  expr_unloc Location.loced

val eassert : ?loc:Location.t -> lident -> expr_unloc Location.loced

val elabel : ?loc:Location.t -> lident -> expr_unloc Location.loced

val ereturn : ?loc:Location.t -> expr -> expr_unloc Location.loced

val eoption : ?loc:Location.t -> option_ -> expr_unloc Location.loced

val eentrypoint : 
  ?loc:Location.t ->
  type_t ->
  expr ->
  expr ->
  expr_unloc Location.loced

val eunpack : ?loc:Location.t -> type_t -> expr -> expr_unloc Location.loced

val eself : ?loc:Location.t -> lident -> expr_unloc Location.loced

val eany : ?loc:Location.t -> 'a -> expr_unloc Location.loced

val enothing : ?loc:Location.t -> 'a -> expr_unloc Location.loced

val einvalid : ?loc:Location.t -> 'a -> expr_unloc Location.loced

val mk_s_function : 
  lident ->
  args ->
  type_t option ->
  specification option ->
  expr ->
  bool ->
  s_function

val mk_entry_properties : 
  ?accept_transfer:bool ->
  ?calledby:(expr * exts) ->
  ?require:((lident * expr * expr option) list * exts) ->
  ?failif:((lident * expr * expr option) list * exts) ->
  ?spec_fun:specification ->
  ?functions:s_function Location.loced list ->
  'a ->
  entry_properties

val mk_transition_item : 
  lident ->
  (expr * exts) option ->
  (expr * exts) option ->
  lident * (expr * exts) option * (expr * exts) option

val mk_variable_decl : 
  ?dv:expr ->
  ?le:label_exprs ->
  ?exts:extension list ->
  lident ->
  type_t ->
  variable_kind ->
  variable_decl

val mk_enum_decl : 
  ?exts:extension list ->
  (lident * type_t list * enum_option list) list ->
  enum_decl

val mk_asset_decl : 
  ?fs:field list ->
  ?sfs:field list ->
  ?aos:asset_option list ->
  ?apos:asset_post_option list ->
  ?ao:asset_operation ->
  ?exts:extension list ->
  lident ->
  asset_decl

val mk_record_decl : 
  ?fs:field list ->
  ?pos:expr ->
  ?exts:extension list ->
  lident ->
  record_decl

val mk_entry_decl : 
  ?args:args ->
  ?body:(expr * exts) ->
  ?exts:extension list ->
  lident ->
  entry_properties ->
  entry_decl

val mk_transition_decl : 
  ?args:args ->
  ?te:(lident * type_t) ->
  ?trs:transition ->
  ?exts:extension list ->
  lident ->
  expr ->
  entry_properties ->
  transition_decl

val mk_extension_decl : ?es:expr list -> lident -> extension_decl

val mk_namespace_decl : ?ds:declaration list -> lident -> namespace_decl

val mk_asset_option_identifiedby : lident list -> asset_option

val mk_asset_option_sortedby : lident -> asset_option

val mk_asset_option_to_big_map : asset_option

val mk_asset_post_option_states : lident -> asset_post_option

val mk_asset_post_option_constraints : label_exprs -> asset_post_option

val mk_asset_post_option_init : expr list -> asset_post_option

val mk_enum_option_initial : 'a -> enum_option

val mk_enum_option_specification : label_exprs -> enum_option

val mk_assetoperation : 
  asset_operation_enum list ->
  expr option ->
  asset_operation

val mk_darchetype : 
  ?parameters:parameter list Location.loced ->
  ?exts:extension list ->
  ?loc:Location.t ->
  lident ->
  declaration_unloc Location.loced

val mk_variable : 
  ?loc:Location.t ->
  variable_decl ->
  declaration_unloc Location.loced

val mk_enum : 
  ?loc:Location.t ->
  enum_kind ->
  enum_decl ->
  declaration_unloc Location.loced

val mk_asset : 
  ?loc:Location.t ->
  asset_decl ->
  declaration_unloc Location.loced

val mk_record : 
  ?loc:Location.t ->
  record_decl ->
  declaration_unloc Location.loced

val mk_entry : 
  ?loc:Location.t ->
  entry_decl ->
  declaration_unloc Location.loced

val mk_transition : 
  ?loc:Location.t ->
  transition_decl ->
  declaration_unloc Location.loced

val mk_extension : 
  ?loc:Location.t ->
  extension_decl ->
  declaration_unloc Location.loced

val mk_namespace : 
  ?loc:Location.t ->
  namespace_decl ->
  declaration_unloc Location.loced

val mk_function : 
  ?loc:Location.t ->
  s_function ->
  declaration_unloc Location.loced

val mk_specification : 
  ?loc:Location.t ->
  specification ->
  declaration_unloc Location.loced

val mk_specasset : 
  ?loc:Location.t ->
  lident ->
  label_exprs ->
  declaration_unloc Location.loced

val mk_specfun : 
  ?loc:Location.t ->
  specfun_kind ->
  lident ->
  args ->
  specification ->
  declaration_unloc Location.loced

val mk_specvariable : 
  ?loc:Location.t ->
  lident ->
  label_exprs ->
  declaration_unloc Location.loced

val mk_security : 
  ?loc:Location.t ->
  security ->
  declaration_unloc Location.loced

val mk_dtype : 
  ?loc:Location.t ->
  lident ->
  type_t ->
  declaration_unloc Location.loced

val mk_invalid : ?loc:Location.t -> unit -> declaration_unloc Location.loced

val mk_archetype : 
  ?decls:declaration list ->
  ?loc:Location.t ->
  unit ->
  archetype_unloc Location.loced

package archetype