Module Archetype.ParseTree

val pp_lident : Stdlib.Format.formatter -> string Location.loced -> unit
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 _ : lident -> Yojson.Safe.t
val _ : Yojson.Safe.t -> lident Ppx_deriving_yojson_runtime.error_or
val _ : container -> Yojson.Safe.t
val _ : Yojson.Safe.t -> container Ppx_deriving_yojson_runtime.error_or
val _ : type_r -> Yojson.Safe.t
val _ : Yojson.Safe.t -> type_r Ppx_deriving_yojson_runtime.error_or
val _ : type_t -> Yojson.Safe.t
val _ : Yojson.Safe.t -> type_t Ppx_deriving_yojson_runtime.error_or
val _ : logical_operator -> Yojson.Safe.t
val _ : Yojson.Safe.t -> logical_operator Ppx_deriving_yojson_runtime.error_or
val _ : comparison_operator -> Yojson.Safe.t
val _ : Yojson.Safe.t -> comparison_operator Ppx_deriving_yojson_runtime.error_or
val _ : arithmetic_operator -> Yojson.Safe.t
val _ : Yojson.Safe.t -> arithmetic_operator Ppx_deriving_yojson_runtime.error_or
val _ : unary_operator -> Yojson.Safe.t
val _ : Yojson.Safe.t -> unary_operator Ppx_deriving_yojson_runtime.error_or
val _ : assignment_operator -> Yojson.Safe.t
val _ : Yojson.Safe.t -> assignment_operator Ppx_deriving_yojson_runtime.error_or
val _ : quantifier -> Yojson.Safe.t
val _ : Yojson.Safe.t -> quantifier Ppx_deriving_yojson_runtime.error_or
val _ : operator -> Yojson.Safe.t
val _ : 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) 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
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 _ : pattern_unloc -> Yojson.Safe.t
val _ : Yojson.Safe.t -> pattern_unloc Ppx_deriving_yojson_runtime.error_or
val _ : pname -> Yojson.Safe.t
val _ : Yojson.Safe.t -> pname Ppx_deriving_yojson_runtime.error_or
val _ : pattern -> Yojson.Safe.t
val _ : Yojson.Safe.t -> pattern Ppx_deriving_yojson_runtime.error_or
val _ : var_label -> Yojson.Safe.t
val _ : Yojson.Safe.t -> var_label Ppx_deriving_yojson_runtime.error_or
val _ : var_vset -> Yojson.Safe.t
val _ : Yojson.Safe.t -> var_vset Ppx_deriving_yojson_runtime.error_or
val _ : for_ident_unloc -> Yojson.Safe.t
val _ : Yojson.Safe.t -> for_ident_unloc Ppx_deriving_yojson_runtime.error_or
val _ : for_ident -> Yojson.Safe.t
val _ : Yojson.Safe.t -> for_ident Ppx_deriving_yojson_runtime.error_or
val _ : transfer_t -> Yojson.Safe.t
val _ : Yojson.Safe.t -> transfer_t Ppx_deriving_yojson_runtime.error_or
val _ : expr_unloc -> Yojson.Safe.t
val _ : Yojson.Safe.t -> expr_unloc Ppx_deriving_yojson_runtime.error_or
val _ : branch -> Yojson.Safe.t
val _ : Yojson.Safe.t -> branch Ppx_deriving_yojson_runtime.error_or
val _ : scope -> Yojson.Safe.t
val _ : Yojson.Safe.t -> scope Ppx_deriving_yojson_runtime.error_or
val _ : quantifier_kind -> Yojson.Safe.t
val _ : Yojson.Safe.t -> quantifier_kind Ppx_deriving_yojson_runtime.error_or
val _ : option_ -> Yojson.Safe.t
val _ : Yojson.Safe.t -> option_ Ppx_deriving_yojson_runtime.error_or
val _ : or_ -> Yojson.Safe.t
val _ : Yojson.Safe.t -> or_ Ppx_deriving_yojson_runtime.error_or
val _ : function_ -> Yojson.Safe.t
val _ : Yojson.Safe.t -> function_ Ppx_deriving_yojson_runtime.error_or
val _ : literal -> Yojson.Safe.t
val _ : Yojson.Safe.t -> literal Ppx_deriving_yojson_runtime.error_or
val _ : record_item -> Yojson.Safe.t
val _ : Yojson.Safe.t -> record_item Ppx_deriving_yojson_runtime.error_or
val _ : expr -> Yojson.Safe.t
val _ : Yojson.Safe.t -> expr Ppx_deriving_yojson_runtime.error_or
val _ : lident_typ -> Yojson.Safe.t
val _ : Yojson.Safe.t -> lident_typ Ppx_deriving_yojson_runtime.error_or
val _ : label_expr -> Yojson.Safe.t
val _ : Yojson.Safe.t -> label_expr Ppx_deriving_yojson_runtime.error_or
val _ : label_exprs -> Yojson.Safe.t
val _ : Yojson.Safe.t -> label_exprs Ppx_deriving_yojson_runtime.error_or
val _ : extension_unloc -> Yojson.Safe.t
val _ : Yojson.Safe.t -> extension_unloc Ppx_deriving_yojson_runtime.error_or
val _ : extension -> Yojson.Safe.t
val _ : Yojson.Safe.t -> extension Ppx_deriving_yojson_runtime.error_or
val _ : exts -> Yojson.Safe.t
val _ : Yojson.Safe.t -> exts Ppx_deriving_yojson_runtime.error_or
val _ : field_unloc -> Yojson.Safe.t
val _ : Yojson.Safe.t -> field_unloc Ppx_deriving_yojson_runtime.error_or
val _ : field -> Yojson.Safe.t
val _ : Yojson.Safe.t -> field Ppx_deriving_yojson_runtime.error_or
val _ : args -> Yojson.Safe.t
val _ : Yojson.Safe.t -> args Ppx_deriving_yojson_runtime.error_or
val _ : invariants -> Yojson.Safe.t
val _ : Yojson.Safe.t -> invariants Ppx_deriving_yojson_runtime.error_or
val _ : specification_item_unloc -> Yojson.Safe.t
val _ : Yojson.Safe.t -> specification_item_unloc Ppx_deriving_yojson_runtime.error_or
val _ : postkind -> Yojson.Safe.t
val _ : Yojson.Safe.t -> postkind Ppx_deriving_yojson_runtime.error_or
val _ : specification_item -> Yojson.Safe.t
val _ : Yojson.Safe.t -> specification_item Ppx_deriving_yojson_runtime.error_or
val _ : specification_unloc -> Yojson.Safe.t
val _ : Yojson.Safe.t -> specification_unloc Ppx_deriving_yojson_runtime.error_or
val _ : specification -> Yojson.Safe.t
val _ : Yojson.Safe.t -> specification Ppx_deriving_yojson_runtime.error_or
val _ : security_arg_unloc -> Yojson.Safe.t
val _ : Yojson.Safe.t -> security_arg_unloc Ppx_deriving_yojson_runtime.error_or
val _ : security_arg -> Yojson.Safe.t
val _ : Yojson.Safe.t -> security_arg Ppx_deriving_yojson_runtime.error_or
val _ : security_item_unloc -> Yojson.Safe.t
val _ : Yojson.Safe.t -> security_item_unloc Ppx_deriving_yojson_runtime.error_or
val _ : security_item -> Yojson.Safe.t
val _ : Yojson.Safe.t -> security_item Ppx_deriving_yojson_runtime.error_or
val _ : security_unloc -> Yojson.Safe.t
val _ : Yojson.Safe.t -> security_unloc Ppx_deriving_yojson_runtime.error_or
val _ : security -> Yojson.Safe.t
val _ : Yojson.Safe.t -> security Ppx_deriving_yojson_runtime.error_or
val _ : s_function -> Yojson.Safe.t
val _ : Yojson.Safe.t -> s_function Ppx_deriving_yojson_runtime.error_or
val _ : entry_properties -> Yojson.Safe.t
val _ : Yojson.Safe.t -> entry_properties Ppx_deriving_yojson_runtime.error_or
val _ : transition -> Yojson.Safe.t
val _ : Yojson.Safe.t -> transition Ppx_deriving_yojson_runtime.error_or
val _ : parameter -> Yojson.Safe.t
val _ : Yojson.Safe.t -> parameter Ppx_deriving_yojson_runtime.error_or
val _ : parameters -> Yojson.Safe.t
val _ : Yojson.Safe.t -> parameters Ppx_deriving_yojson_runtime.error_or
val _ : variable_kind -> Yojson.Safe.t
val _ : Yojson.Safe.t -> variable_kind Ppx_deriving_yojson_runtime.error_or
val _ : enum_kind -> Yojson.Safe.t
val _ : Yojson.Safe.t -> enum_kind Ppx_deriving_yojson_runtime.error_or
val _ : declaration_unloc -> Yojson.Safe.t
val _ : Yojson.Safe.t -> declaration_unloc Ppx_deriving_yojson_runtime.error_or
val _ : specfun_kind -> Yojson.Safe.t
val _ : Yojson.Safe.t -> specfun_kind Ppx_deriving_yojson_runtime.error_or
val _ : specfun -> Yojson.Safe.t
val _ : Yojson.Safe.t -> specfun Ppx_deriving_yojson_runtime.error_or
val _ : variable_decl -> Yojson.Safe.t
val _ : Yojson.Safe.t -> variable_decl Ppx_deriving_yojson_runtime.error_or
val _ : enum_decl -> Yojson.Safe.t
val _ : Yojson.Safe.t -> enum_decl Ppx_deriving_yojson_runtime.error_or
val _ : asset_decl -> Yojson.Safe.t
val _ : Yojson.Safe.t -> asset_decl Ppx_deriving_yojson_runtime.error_or
val _ : record_decl -> Yojson.Safe.t
val _ : Yojson.Safe.t -> record_decl Ppx_deriving_yojson_runtime.error_or
val _ : entry_decl -> Yojson.Safe.t
val _ : Yojson.Safe.t -> entry_decl Ppx_deriving_yojson_runtime.error_or
val _ : transition_decl -> Yojson.Safe.t
val _ : Yojson.Safe.t -> transition_decl Ppx_deriving_yojson_runtime.error_or
val _ : extension_decl -> Yojson.Safe.t
val _ : Yojson.Safe.t -> extension_decl Ppx_deriving_yojson_runtime.error_or
val _ : namespace_decl -> Yojson.Safe.t
val _ : Yojson.Safe.t -> namespace_decl Ppx_deriving_yojson_runtime.error_or
val _ : asset_option -> Yojson.Safe.t
val _ : Yojson.Safe.t -> asset_option Ppx_deriving_yojson_runtime.error_or
val _ : asset_post_option -> Yojson.Safe.t
val _ : Yojson.Safe.t -> asset_post_option Ppx_deriving_yojson_runtime.error_or
val _ : enum_option -> Yojson.Safe.t
val _ : Yojson.Safe.t -> enum_option Ppx_deriving_yojson_runtime.error_or
val _ : declaration -> Yojson.Safe.t
val _ : Yojson.Safe.t -> declaration Ppx_deriving_yojson_runtime.error_or
val _ : asset_operation_enum -> Yojson.Safe.t
val _ : Yojson.Safe.t -> asset_operation_enum Ppx_deriving_yojson_runtime.error_or
val _ : asset_operation -> Yojson.Safe.t
val _ : Yojson.Safe.t -> asset_operation Ppx_deriving_yojson_runtime.error_or
val _ : archetype_unloc -> Yojson.Safe.t
val _ : Yojson.Safe.t -> archetype_unloc Ppx_deriving_yojson_runtime.error_or
val _ : archetype -> Yojson.Safe.t
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
include sig ... end
class virtual +'c map : object ... end
include sig ... end
class virtual +'b iter : object ... end
include sig ... end
class virtual +'b reduce : object ... end
include sig ... end
class virtual +'c reduce2 : object ... end
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 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