package archetype

  1. Overview
  2. Docs
and container =
  1. | Collection
  2. | Partition
and type_r =
  1. | Tref of lident
  2. | Tasset of lident
  3. | Tcontainer of type_t * container
  4. | Ttuple of type_t list
  5. | Toption of type_t
  6. | Tlist of type_t
  7. | Tkeyof of type_t
and type_t = type_r Location.loced
and logical_operator =
  1. | And
  2. | Or
  3. | Imply
  4. | Equiv
and comparison_operator =
  1. | Equal
  2. | Nequal
  3. | Gt
  4. | Ge
  5. | Lt
  6. | Le
and arithmetic_operator =
  1. | Plus
  2. | Minus
  3. | Mult
  4. | Div
  5. | DivRat
  6. | Modulo
and unary_operator =
  1. | Uplus
  2. | Uminus
  3. | Not
and assignment_operator =
  1. | ValueAssign
  2. | PlusAssign
  3. | MinusAssign
  4. | MultAssign
  5. | DivAssign
  6. | AndAssign
  7. | OrAssign
and quantifier =
  1. | Forall
  2. | Exists
and operator =
  1. | Logical of logical_operator
  2. | Cmp of comparison_operator
  3. | Arith of arithmetic_operator
  4. | 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 =
  1. | Pwild
  2. | Pref of lident
and s_term = {
  1. before : bool;
  2. label : lident option;
}
and expr_unloc =
  1. | Eterm of s_term * lident
  2. | Eliteral of literal
  3. | Earray of expr list
  4. | Erecord of record_item list
  5. | Etuple of expr list
  6. | Edot of expr * lident
  7. | Emulticomp of expr * (comparison_operator Location.loced * expr) list
  8. | Eapp of function_ * expr list
  9. | Emethod of expr * lident * expr list
  10. | Etransfer of expr * expr * (lident * expr list) option
  11. | Erequire of expr
  12. | Efailif of expr
  13. | Eassign of assignment_operator * expr * expr
  14. | Eif of expr * expr * expr option
  15. | Ebreak
  16. | Efor of lident option * lident * expr * expr
  17. | Eiter of lident option * lident * expr option * expr * expr
  18. | Eseq of expr * expr
  19. | Eletin of lident * type_t option * expr * expr * expr option
  20. | Evar of lident * type_t option * expr
  21. | Ematchwith of expr * branch list
  22. | Equantifier of quantifier * lident * quantifier_kind * expr
  23. | Eassert of lident
  24. | Elabel of lident
  25. | Ereturn of expr
  26. | Eoption of option_
  27. | Eany
  28. | Enothing
  29. | Einvalid
and branch = pattern list * expr
and scope =
  1. | Added
  2. | After
  3. | Before
  4. | Fixed
  5. | Removed
  6. | Stable
and quantifier_kind =
  1. | Qcollection of expr
  2. | Qtype of type_t
and option_ =
  1. | OSome of expr
  2. | ONone
and function_ =
  1. | Fident of lident
  2. | Foperator of operator Location.loced
and literal =
  1. | Lnumber of Core.big_int
  2. | Ldecimal of string
  3. | Ltz of Core.big_int
  4. | Lmtz of Core.big_int
  5. | Lutz of Core.big_int
  6. | Laddress of string
  7. | Lstring of string
  8. | Lbool of bool
  9. | Lduration of string
  10. | Ldate of string
  11. | Lbytes of string
and record_item = (assignment_operator * lident) option * expr
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 =
  1. | Eextension of lident * expr list
    (*

    extension

    *)
and exts = extension list option
and field_unloc =
  1. | Ffield of lident * type_t * expr option * exts
    (*

    field

    *)
and args = lident_typ list
and invariants = (lident * expr list) list
and specification_item_unloc =
  1. | Vpredicate of lident * args * expr
  2. | Vdefinition of lident * type_t * lident * expr
  3. | Vvariable of lident * type_t * expr option
  4. | Veffect of expr
  5. | Vassert of lident * expr * invariants * lident list
  6. | Vpostcondition of lident * expr * invariants * lident list
  7. | Vcontractinvariant of lident * expr * invariants * lident list
and specification_item = specification_item_unloc Location.loced
and specification_unloc = specification_item list * exts
and security_arg_unloc =
  1. | Sident of lident
  2. | Sdot of lident * lident
  3. | Slist of security_arg list
  4. | Sapp of lident * security_arg list
  5. | Sbut of lident * security_arg
  6. | Sto of lident * security_arg
and security_item_unloc = lident * lident * security_arg list
and security_unloc = security_item list * exts
and s_function = {
  1. name : lident;
  2. args : args;
  3. ret_t : type_t option;
  4. spec : specification option;
  5. body : expr;
}
and action_properties = {
  1. accept_transfer : bool;
  2. calledby : (expr * exts) option;
  3. require : (label_exprs * exts) option;
  4. failif : (label_exprs * exts) option;
  5. spec_fun : specification option;
  6. functions : s_function Location.loced list;
}
and transition = (lident * (expr * exts) option * (expr * exts) option) list
and variable_kind =
  1. | VKvariable
  2. | VKconstant
and enum_kind =
  1. | EKenum of lident
  2. | EKstate
and declaration_unloc =
  1. | Darchetype of lident * exts
  2. | Dvariable of variable_decl
  3. | Denum of enum_kind * enum_decl
  4. | Dasset of asset_decl
  5. | Daction of action_decl
  6. | Dtransition of transition_decl
  7. | Dcontract of contract_decl
  8. | Dextension of extension_decl
  9. | Dnamespace of namespace_decl
  10. | Dfunction of s_function
  11. | Dspecification of specification
  12. | Dsecurity of security
  13. | 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 action_decl = lident * args * action_properties * (expr * exts) option * exts
and transition_decl = lident * args * (lident * type_t) option * expr * action_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 =
  1. | VOfrom of lident
  2. | VOto of lident
and asset_option =
  1. | AOidentifiedby of lident
  2. | AOsortedby of lident
and asset_post_option =
  1. | APOstates of lident
  2. | APOconstraints of label_exprs
  3. | APOinit of expr
and enum_option =
  1. | EOinitial
  2. | EOspecification of label_exprs
and signature =
  1. | Ssignature of lident * (lident * type_t) list
and asset_operation_enum =
  1. | AOadd
  2. | AOremove
  3. | AOupdate
and asset_operation =
  1. | AssetOperation of asset_operation_enum list * expr option
and archetype_unloc =
  1. | Marchetype of declaration list
  2. | Mextension of lident * declaration list * declaration list
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 s_term_to_yojson : s_term -> Yojson.Safe.t
val s_term_of_yojson : Yojson.Safe.t -> s_term 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 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 action_properties_to_yojson : action_properties -> Yojson.Safe.t
val action_properties_of_yojson : Yojson.Safe.t -> action_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 action_decl_to_yojson : action_decl -> Yojson.Safe.t
val action_decl_of_yojson : Yojson.Safe.t -> action_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 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_s_term : Ppx_deriving_runtime.Format.formatter -> s_term -> Ppx_deriving_runtime.unit
val show_s_term : s_term -> 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 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 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 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 pp_args : Ppx_deriving_runtime.Format.formatter -> args -> Ppx_deriving_runtime.unit
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_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_action_properties : Ppx_deriving_runtime.Format.formatter -> action_properties -> Ppx_deriving_runtime.unit
val show_action_properties : action_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_action_decl : Ppx_deriving_runtime.Format.formatter -> action_decl -> Ppx_deriving_runtime.unit
val show_action_decl : action_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
val mk_s_term : ?before:bool -> ?label:lident -> unit -> s_term
OCaml

Innovation. Community. Security.