archetype 1.0.0 · OCaml Package

type lident = Ident.ident Location.loced

and container =

| Aggregate
| Partition

and type_r =

| Tref of lident
| Tasset of lident
| Tcontainer of type_t * container
| Ttuple of type_t list
| Toption of type_t
| Tlist of type_t
| Tkeyof of type_t

and type_t = type_r Location.loced

and logical_operator =

| And
| Or
| Imply
| Equiv

and comparison_operator =

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

and arithmetic_operator =

| Plus
| Minus
| Mult
| DivRat
| DivEuc
| Modulo

and unary_operator =

| Uplus
| 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 lident

and pattern = pattern_unloc Location.loced

and var_label =

| VLBefore
| VLIdent of lident

and var_vset =

| VSAdded
| VSUnmoved
| VSRemoved

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 expr * expr * (lident * expr list) option
| Erequire of expr
| Efailif of expr
| Efail of expr
| Eassign of assignment_operator * expr * expr
| Eif of expr * expr * expr option
| Ebreak
| Efor of lident option * lident * expr * expr
| Eiter of lident option * lident * expr 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
| Equantifier of quantifier * lident * quantifier_kind * expr
| Eassert of lident
| Elabel of lident
| Ereturn of expr
| Eoption of option_
| Eunpack of type_t * expr
| Eany
| Enothing
| 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

and function_ =

| Fident of lident
| Foperator of operator Location.loced

and literal =

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

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
| 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;

}

and entry_properties = {

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

}

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

and variable_kind =

| VKvariable
| VKconstant

and enum_kind =

| EKenum of lident
| EKstate

and declaration_unloc =

| Darchetype of lident * exts
| Dvariable of variable_decl
| Denum of enum_kind * enum_decl
| Dasset of asset_decl
| Dentry of entry_decl
| Dtransition of transition_decl
| Dcontract of contract_decl
| Dextension of extension_decl
| Dnamespace of namespace_decl
| Dfunction of s_function
| Dspecification of specification
| Dsecurity of security
| Dinvalid

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

and enum_decl = (lident * 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 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 contract_decl = lident * signature list * exts

and extension_decl = lident * expr list

and namespace_decl = lident * declaration list

and value_option =

| VOfrom of lident
| VOto of lident

and asset_option =

| AOidentifiedby of lident
| AOsortedby of lident

and asset_post_option =

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

and enum_option =

| EOinitial
| EOspecification of label_exprs

and signature =

| Ssignature of lident * (lident * type_t) list

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 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 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 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 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 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 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 contract_decl_to_yojson : contract_decl -> Yojson.Safe.t

val contract_decl_of_yojson : 
  Yojson.Safe.t ->
  contract_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 value_option_to_yojson : value_option -> Yojson.Safe.t

val value_option_of_yojson : 
  Yojson.Safe.t ->
  value_option 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 signature_to_yojson : signature -> Yojson.Safe.t

val signature_of_yojson : 
  Yojson.Safe.t ->
  signature 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_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_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_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_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_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_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_contract_decl : 
  Ppx_deriving_runtime.Format.formatter ->
  contract_decl ->
  Ppx_deriving_runtime.unit

val show_contract_decl : contract_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_value_option : 
  Ppx_deriving_runtime.Format.formatter ->
  value_option ->
  Ppx_deriving_runtime.unit

val show_value_option : value_option -> 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_signature : 
  Ppx_deriving_runtime.Format.formatter ->
  signature ->
  Ppx_deriving_runtime.unit

val show_signature : signature -> 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 mk_archetype : 
  ?decls:declaration list ->
  ?loc:Location.t ->
  unit ->
  archetype_unloc Location.loced

package archetype