package archetype

  1. Overview
  2. Docs
package archetype
Legend:
Library
Module
Module type
Parameter
Class
Class type
constraint 'b iter = 'b iter
inherit VisitorsRuntime.iter
inherit Archetype.Location.location_iter
inherit Archetype.Ident.ident_iter
method visit_Pwild : 'c -> unit
method visit_Pref : 'c -> lident -> unit
method visit_pattern_unloc : 'c -> pattern_unloc -> unit
method visit_pattern : 'c -> pattern_unloc Archetype.Location.loced -> unit
method visit_s_term : 'c -> s_term -> unit
method visit_Eterm : 'c -> s_term -> lident -> unit
method visit_Eliteral : 'c -> literal -> unit
method visit_Earray : 'c -> expr list -> unit
method visit_Erecord : 'c -> record_item list -> unit
method visit_Etuple : 'c -> expr list -> unit
method visit_Edot : 'c -> expr -> lident -> unit
method visit_Emulticomp : 'c -> expr -> (comparison_operator Archetype.Location.loced * expr) list -> unit
method visit_Eapp : 'c -> function_ -> expr list -> unit
method visit_Emethod : 'c -> expr -> lident -> expr list -> unit
method visit_Etransfer : 'c -> expr -> expr -> (lident * expr list) option -> unit
method visit_Erequire : 'c -> expr -> unit
method visit_Efailif : 'c -> expr -> unit
method visit_Eassign : 'c -> assignment_operator -> expr -> expr -> unit
method visit_Eif : 'c -> expr -> expr -> expr option -> unit
method visit_Ebreak : 'c -> unit
method visit_Efor : 'c -> lident option -> lident -> expr -> expr -> unit
method visit_Eiter : 'c -> lident option -> lident -> expr option -> expr -> expr -> unit
method visit_Eseq : 'c -> expr -> expr -> unit
method visit_Eletin : 'c -> lident -> type_t option -> expr -> expr -> expr option -> unit
method visit_Evar : 'c -> lident -> type_t option -> expr -> unit
method visit_Ematchwith : 'c -> expr -> branch list -> unit
method visit_Equantifier : 'c -> quantifier -> lident -> quantifier_kind -> expr -> unit
method visit_Eassert : 'c -> lident -> unit
method visit_Elabel : 'c -> lident -> unit
method visit_Ereturn : 'c -> expr -> unit
method visit_Eoption : 'c -> option_ -> unit
method visit_Eany : 'c -> unit
method visit_Enothing : 'c -> unit
method visit_Einvalid : 'c -> unit
method visit_expr_unloc : 'c -> expr_unloc -> unit
method visit_branch : 'c -> branch -> unit
method visit_Added : 'd -> unit
method visit_After : 'd -> unit
method visit_Before : 'd -> unit
method visit_Fixed : 'd -> unit
method visit_Removed : 'd -> unit
method visit_Stable : 'd -> unit
method visit_scope : 'd -> scope -> unit
method visit_Qcollection : 'c -> expr -> unit
method visit_Qtype : 'c -> type_t -> unit
method visit_quantifier_kind : 'c -> quantifier_kind -> unit
method visit_OSome : 'c -> expr -> unit
method visit_ONone : 'c -> unit
method visit_option_ : 'c -> option_ -> unit
method visit_Fident : 'c -> lident -> unit
method visit_Foperator : 'c -> operator Archetype.Location.loced -> unit
method visit_function_ : 'c -> function_ -> unit
method visit_Lnumber : 'c -> Archetype.Core.big_int -> unit
method visit_Ldecimal : 'c -> string -> unit
method visit_Ltz : 'c -> Archetype.Core.big_int -> unit
method visit_Lmtz : 'c -> Archetype.Core.big_int -> unit
method visit_Lutz : 'c -> Archetype.Core.big_int -> unit
method visit_Laddress : 'c -> string -> unit
method visit_Lstring : 'c -> string -> unit
method visit_Lbool : 'c -> bool -> unit
method visit_Lduration : 'c -> string -> unit
method visit_Ldate : 'c -> string -> unit
method visit_Lbytes : 'c -> string -> unit
method visit_literal : 'c -> literal -> unit
method visit_record_item : 'c -> record_item -> unit
method visit_expr : 'c -> expr -> unit
method visit_lident_typ : 'c -> lident_typ -> unit
method visit_label_expr : 'c -> (lident * expr) Archetype.Location.loced -> unit
method visit_label_exprs : 'c -> label_exprs -> unit
method visit_Eextension : 'c -> lident -> expr list -> unit
method visit_extension_unloc : 'c -> extension_unloc -> unit
method visit_extension : 'c -> extension_unloc Archetype.Location.loced -> unit
method visit_exts : 'c -> exts -> unit
method visit_Ffield : 'c -> lident -> type_t -> expr option -> exts -> unit
method visit_field_unloc : 'c -> field_unloc -> unit
method visit_field : 'c -> field_unloc Archetype.Location.loced -> unit
method visit_args : 'c -> args -> unit
method visit_invariants : 'c -> invariants -> unit
method visit_Vpredicate : 'c -> lident -> args -> expr -> unit
method visit_Vdefinition : 'c -> lident -> type_t -> lident -> expr -> unit
method visit_Vvariable : 'c -> lident -> type_t -> expr option -> unit
method visit_Veffect : 'c -> expr -> unit
method visit_Vassert : 'c -> (lident * expr * invariants * lident list) -> unit
method visit_Vpostcondition : 'c -> (lident * expr * invariants * lident list) -> unit
method visit_Vcontractinvariant : 'c -> (lident * expr * invariants * lident list) -> unit
method visit_specification_item_unloc : 'c -> specification_item_unloc -> unit
method visit_specification_item : 'c -> specification_item_unloc Archetype.Location.loced -> unit
method visit_specification_unloc : 'c -> specification_unloc -> unit
method visit_specification : 'c -> specification_unloc Archetype.Location.loced -> unit
method visit_Sident : 'c -> lident -> unit
method visit_Sdot : 'c -> lident -> lident -> unit
method visit_Slist : 'c -> security_arg list -> unit
method visit_Sapp : 'c -> lident -> security_arg list -> unit
method visit_Sbut : 'c -> lident -> security_arg -> unit
method visit_Sto : 'c -> lident -> security_arg -> unit
method visit_security_arg_unloc : 'c -> security_arg_unloc -> unit
method visit_security_arg : 'c -> security_arg -> unit
method visit_security_item_unloc : 'c -> security_item_unloc -> unit
method visit_security_item : 'c -> security_item_unloc Archetype.Location.loced -> unit
method visit_security_unloc : 'c -> security_unloc -> unit
method visit_security : 'c -> security_unloc Archetype.Location.loced -> unit
method visit_s_function : 'c -> s_function -> unit
method visit_action_properties : 'c -> action_properties -> unit
method visit_transition : 'c -> transition -> unit
method visit_VKvariable : 'c -> unit
method visit_VKconstant : 'c -> unit
method visit_variable_kind : 'c -> variable_kind -> unit
method visit_EKenum : 'c -> lident -> unit
method visit_EKstate : 'c -> unit
method visit_enum_kind : 'c -> enum_kind -> unit
method visit_Darchetype : 'c -> lident -> exts -> unit
method visit_Dvariable : 'c -> variable_decl -> unit
method visit_Denum : 'c -> enum_kind -> enum_decl -> unit
method visit_Dasset : 'c -> asset_decl -> unit
method visit_Daction : 'c -> action_decl -> unit
method visit_Dtransition : 'c -> transition_decl -> unit
method visit_Dcontract : 'c -> contract_decl -> unit
method visit_Dextension : 'c -> extension_decl -> unit
method visit_Dnamespace : 'c -> namespace_decl -> unit
method visit_Dfunction : 'c -> s_function -> unit
method visit_Dspecification : 'c -> specification_unloc Archetype.Location.loced -> unit
method visit_Dsecurity : 'c -> security_unloc Archetype.Location.loced -> unit
method visit_Dinvalid : 'c -> unit
method visit_declaration_unloc : 'c -> declaration_unloc -> unit
method visit_variable_decl : 'c -> variable_decl -> unit
method visit_enum_decl : 'c -> enum_decl -> unit
method visit_asset_decl : 'c -> asset_decl -> unit
method visit_action_decl : 'c -> action_decl -> unit
method visit_transition_decl : 'c -> transition_decl -> unit
method visit_contract_decl : 'c -> contract_decl -> unit
method visit_extension_decl : 'c -> extension_decl -> unit
method visit_namespace_decl : 'c -> namespace_decl -> unit
method visit_VOfrom : 'c -> lident -> unit
method visit_VOto : 'c -> lident -> unit
method visit_value_option : 'c -> value_option -> unit
method visit_AOidentifiedby : 'c -> lident -> unit
method visit_AOsortedby : 'c -> lident -> unit
method visit_asset_option : 'c -> asset_option -> unit
method visit_APOstates : 'c -> lident -> unit
method visit_APOconstraints : 'c -> label_exprs -> unit
method visit_APOinit : 'c -> expr -> unit
method visit_asset_post_option : 'c -> asset_post_option -> unit
method visit_EOinitial : 'c -> unit
method visit_EOspecification : 'c -> label_exprs -> unit
method visit_enum_option : 'c -> enum_option -> unit
method visit_Ssignature : 'c -> lident -> (lident * type_t) list -> unit
method visit_signature : 'c -> signature -> unit
method visit_declaration : 'c -> declaration -> unit
method visit_AOadd : 'c -> unit
method visit_AOremove : 'c -> unit
method visit_AOupdate : 'c -> unit
method visit_asset_operation_enum : 'c -> asset_operation_enum -> unit
method visit_AssetOperation : 'c -> asset_operation_enum list -> expr option -> unit
method visit_asset_operation : 'c -> asset_operation -> unit
method visit_Marchetype : 'c -> declaration list -> unit
method visit_Mextension : 'c -> lident -> declaration list -> declaration list -> unit
method visit_archetype_unloc : 'c -> archetype_unloc -> unit
method visit_archetype : 'c -> archetype_unloc Archetype.Location.loced -> unit
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct