package archetype

  1. Overview
  2. Docs

Module Archetype.ParseTreeSource

Sourceval lident_to_yojson : lident -> Yojson.Safe.t
Sourceval pp_lident : Format.formatter -> string Location.loced -> unit
Sourcetype container =
  1. | Collection
  2. | Partition
Sourceval container_to_yojson : container -> Yojson.Safe.t
Sourcetype 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. | Tkeyof of type_t
Sourceval type_r_to_yojson : type_r -> Yojson.Safe.t
Sourceval type_t_to_yojson : type_t -> Yojson.Safe.t
Sourcetype logical_operator =
  1. | And
  2. | Or
  3. | Imply
  4. | Equiv
Sourceval logical_operator_to_yojson : logical_operator -> Yojson.Safe.t
Sourcetype comparison_operator =
  1. | Equal
  2. | Nequal
  3. | Gt
  4. | Ge
  5. | Lt
  6. | Le
Sourceval show_comparison_operator : comparison_operator -> Ppx_deriving_runtime.string
Sourceval comparison_operator_to_yojson : comparison_operator -> Yojson.Safe.t
Sourcetype arithmetic_operator =
  1. | Plus
  2. | Minus
  3. | Mult
  4. | Div
  5. | Modulo
Sourceval show_arithmetic_operator : arithmetic_operator -> Ppx_deriving_runtime.string
Sourceval arithmetic_operator_to_yojson : arithmetic_operator -> Yojson.Safe.t
Sourcetype unary_operator =
  1. | Uplus
  2. | Uminus
  3. | Not
Sourceval unary_operator_to_yojson : unary_operator -> Yojson.Safe.t
Sourcetype assignment_operator =
  1. | ValueAssign
  2. | PlusAssign
  3. | MinusAssign
  4. | MultAssign
  5. | DivAssign
  6. | AndAssign
  7. | OrAssign
Sourceval show_assignment_operator : assignment_operator -> Ppx_deriving_runtime.string
Sourceval assignment_operator_to_yojson : assignment_operator -> Yojson.Safe.t
Sourcetype quantifier =
  1. | Forall
  2. | Exists
Sourceval quantifier_to_yojson : quantifier -> Yojson.Safe.t
Sourcetype operator = [
  1. | `Logical of logical_operator
  2. | `Cmp of comparison_operator
  3. | `Arith of arithmetic_operator
  4. | `Unary of unary_operator
]
Sourceval operator_to_yojson : operator -> Yojson.Safe.t
Sourcetype qualid =
  1. | Qident of lident
  2. | Qdot of qualid * lident
Sourceval qualid_to_yojson : qualid -> Yojson.Safe.t
Sourcetype pattern_unloc =
  1. | Pwild
  2. | Pref of lident
Sourceval pattern_unloc_to_yojson : pattern_unloc -> Yojson.Safe.t
Sourceval pattern_to_yojson : pattern -> Yojson.Safe.t
Sourcetype s_term = {
  1. before : bool;
  2. label : lident option;
}
Sourceval s_term_to_yojson : s_term -> Yojson.Safe.t
Sourcetype 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 * bool * lident 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. | Einvalid
Sourceand branch = pattern list * expr
Sourceand scope = [
  1. | `Added
  2. | `After
  3. | `Before
  4. | `Fixed
  5. | `Removed
  6. | `Stable
]
Sourceand quantifier_kind =
  1. | Qcollection of expr
  2. | Qtype of type_t
Sourceand option_ =
  1. | OSome of expr
  2. | ONone
Sourceand function_ =
  1. | Fident of lident
  2. | Foperator of operator Location.loced
Sourceand literal =
  1. | Lnumber of Core.big_int
  2. | Lrational of Core.big_int * Core.big_int
  3. | Ltz of Core.big_int
  4. | Lmtz of Core.big_int
  5. | Lmutz of Core.big_int
  6. | Laddress of string
  7. | Lstring of string
  8. | Lbool of bool
  9. | Lduration of string
  10. | Ldate of string
Sourceand record_item = (assignment_operator * lident) option * expr
Sourceand lident_typ = lident * type_t * extension list option
Sourceand label_expr = (lident * expr) Location.loced
Sourceand label_exprs = label_expr list
Sourceand extension_unloc =
  1. | Eextension of lident * expr option
    (*

    extension

    *)
Sourceand exts = extension list option
Sourceval pp_option_ : Ppx_deriving_runtime.Format.formatter -> option_ -> Ppx_deriving_runtime.unit
Sourceval show_option_ : option_ -> Ppx_deriving_runtime.string
Sourceval pp_function_ : Ppx_deriving_runtime.Format.formatter -> function_ -> Ppx_deriving_runtime.unit
Sourceval show_function_ : function_ -> Ppx_deriving_runtime.string
Sourceval expr_unloc_to_yojson : expr_unloc -> Yojson.Safe.t
Sourceval branch_to_yojson : branch -> Yojson.Safe.t
Sourceval scope_to_yojson : scope -> Yojson.Safe.t
Sourceval quantifier_kind_to_yojson : quantifier_kind -> Yojson.Safe.t
Sourceval option__to_yojson : option_ -> Yojson.Safe.t
Sourceval option__of_yojson : Yojson.Safe.t -> option_ Ppx_deriving_yojson_runtime.error_or
Sourceval function__to_yojson : function_ -> Yojson.Safe.t
Sourceval function__of_yojson : Yojson.Safe.t -> function_ Ppx_deriving_yojson_runtime.error_or
Sourceval literal_to_yojson : literal -> Yojson.Safe.t
Sourceval record_item_to_yojson : record_item -> Yojson.Safe.t
Sourceval expr_to_yojson : expr -> Yojson.Safe.t
Sourceval lident_typ_to_yojson : lident_typ -> Yojson.Safe.t
Sourceval label_expr_to_yojson : label_expr -> Yojson.Safe.t
Sourceval label_exprs_to_yojson : label_exprs -> Yojson.Safe.t
Sourceval extension_unloc_to_yojson : extension_unloc -> Yojson.Safe.t
Sourceval extension_to_yojson : extension -> Yojson.Safe.t
Sourceval exts_to_yojson : exts -> Yojson.Safe.t
Sourcetype field_unloc =
  1. | Ffield of lident * type_t * expr option * exts
    (*

    field

    *)
Sourceval field_unloc_to_yojson : field_unloc -> Yojson.Safe.t
Sourceval field_to_yojson : field -> Yojson.Safe.t
Sourcetype args = lident_typ list
Sourceval args_to_yojson : args -> Yojson.Safe.t
Sourcetype invariants = (lident * expr list) list
Sourceval invariants_to_yojson : invariants -> Yojson.Safe.t
Sourcetype specification_item_unloc =
  1. | Vpredicate of lident * args * expr
  2. | Vdefinition of lident * type_t * lident * expr
  3. | Vlemma of lident * expr
  4. | Vtheorem of lident * expr
  5. | Vvariable of lident * type_t * expr option
  6. | Veffect of expr
  7. | Vassert of lident * expr * invariants * lident list
  8. | Vpostcondition of lident * expr * invariants * lident list
Sourceval show_specification_item_unloc : specification_item_unloc -> Ppx_deriving_runtime.string
Sourceval specification_item_unloc_to_yojson : specification_item_unloc -> Yojson.Safe.t
Sourceval show_specification_item : specification_item -> Ppx_deriving_runtime.string
Sourceval specification_item_to_yojson : specification_item -> Yojson.Safe.t
Sourcetype specification_unloc = specification_item list * exts
Sourceval show_specification_unloc : specification_unloc -> Ppx_deriving_runtime.string
Sourceval specification_unloc_to_yojson : specification_unloc -> Yojson.Safe.t
Sourceval specification_to_yojson : specification -> Yojson.Safe.t
Sourcetype 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
Sourceval show_security_arg_unloc : security_arg_unloc -> Ppx_deriving_runtime.string
Sourceval security_arg_unloc_to_yojson : security_arg_unloc -> Yojson.Safe.t
Sourceval security_arg_to_yojson : security_arg -> Yojson.Safe.t
Sourcetype security_item_unloc = lident * lident * security_arg list
Sourceval show_security_item_unloc : security_item_unloc -> Ppx_deriving_runtime.string
Sourceval security_item_unloc_to_yojson : security_item_unloc -> Yojson.Safe.t
Sourceval security_item_to_yojson : security_item -> Yojson.Safe.t
Sourcetype security_unloc = security_item list * exts
Sourceval security_unloc_to_yojson : security_unloc -> Yojson.Safe.t
Sourceval security_to_yojson : security -> Yojson.Safe.t
Sourcetype s_function = {
  1. name : lident;
  2. args : args;
  3. ret_t : type_t option;
  4. spec : specification option;
  5. body : expr;
}
Sourceval s_function_to_yojson : s_function -> Yojson.Safe.t
Sourcetype 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 : specification option;
  6. functions : s_function Location.loced list;
}
Sourceval action_properties_to_yojson : action_properties -> Yojson.Safe.t
Sourcetype transition = (lident * (expr * exts) option * (expr * exts) option) list
Sourceval transition_to_yojson : transition -> Yojson.Safe.t
Sourcetype variable_kind =
  1. | VKvariable
  2. | VKconstant
Sourceval variable_kind_to_yojson : variable_kind -> Yojson.Safe.t
Sourcetype enum_kind =
  1. | EKenum of lident
  2. | EKstate
Sourceval enum_kind_to_yojson : enum_kind -> Yojson.Safe.t
Sourcetype 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
Sourceand variable_decl = lident * type_t * expr option * value_option list option * variable_kind * exts
Sourceand enum_decl = (lident * enum_option list) list * exts
Sourceand asset_decl = lident * field list * asset_option list * asset_post_option list * asset_operation option * exts
Sourceand action_decl = lident * args * action_properties * (expr * exts) option * exts
Sourceand transition_decl = lident * args * (lident * type_t) option * expr * action_properties * transition * exts
Sourceand contract_decl = lident * signature list * exts
Sourceand extension_decl = lident * expr option
Sourceand namespace_decl = lident * declaration list
Sourceand value_option =
  1. | VOfrom of lident
  2. | VOto of lident
Sourceand asset_option =
  1. | AOidentifiedby of lident
  2. | AOsortedby of lident
Sourceand asset_post_option =
  1. | APOstates of lident
  2. | APOconstraints of label_exprs
  3. | APOinit of expr
Sourceand enum_option =
  1. | EOinitial
  2. | EOspecification of label_exprs
Sourceand signature =
  1. | Ssignature of lident * type_t list
Sourceand asset_operation_enum =
  1. | AOadd
  2. | AOremove
  3. | AOupdate
Sourceand asset_operation =
  1. | AssetOperation of asset_operation_enum list * expr option
Sourceval pp_asset_post_option : Ppx_deriving_runtime.Format.formatter -> asset_post_option -> Ppx_deriving_runtime.unit
Sourceval show_asset_post_option : asset_post_option -> Ppx_deriving_runtime.string
Sourceval show_asset_operation_enum : asset_operation_enum -> Ppx_deriving_runtime.string
Sourceval declaration_unloc_to_yojson : declaration_unloc -> Yojson.Safe.t
Sourceval variable_decl_to_yojson : variable_decl -> Yojson.Safe.t
Sourceval enum_decl_to_yojson : enum_decl -> Yojson.Safe.t
Sourceval asset_decl_to_yojson : asset_decl -> Yojson.Safe.t
Sourceval action_decl_to_yojson : action_decl -> Yojson.Safe.t
Sourceval transition_decl_to_yojson : transition_decl -> Yojson.Safe.t
Sourceval contract_decl_to_yojson : contract_decl -> Yojson.Safe.t
Sourceval extension_decl_to_yojson : extension_decl -> Yojson.Safe.t
Sourceval namespace_decl_to_yojson : namespace_decl -> Yojson.Safe.t
Sourceval value_option_to_yojson : value_option -> Yojson.Safe.t
Sourceval asset_option_to_yojson : asset_option -> Yojson.Safe.t
Sourceval asset_post_option_to_yojson : asset_post_option -> Yojson.Safe.t
Sourceval asset_post_option_of_yojson : Yojson.Safe.t -> asset_post_option Ppx_deriving_yojson_runtime.error_or
Sourceval enum_option_to_yojson : enum_option -> Yojson.Safe.t
Sourceval signature_to_yojson : signature -> Yojson.Safe.t
Sourceval declaration_to_yojson : declaration -> Yojson.Safe.t
Sourceval asset_operation_enum_to_yojson : asset_operation_enum -> Yojson.Safe.t
Sourceval asset_operation_to_yojson : asset_operation -> Yojson.Safe.t
Sourcetype archetype_unloc =
  1. | Marchetype of declaration list
  2. | Mextension of lident * declaration list * declaration list
Sourceval archetype_unloc_to_yojson : archetype_unloc -> Yojson.Safe.t
Sourceval archetype_to_yojson : archetype -> Yojson.Safe.t
Sourceval _ : Yojson.Safe.t -> archetype Ppx_deriving_yojson_runtime.error_or
Sourceval mk_archetype : ?decls:declaration list -> ?loc:Location.t -> unit -> archetype_unloc Location.loced
Sourceval mk_s_term : ?before:bool -> ?label:lident -> unit -> s_term