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 -> pname Archetype.Location.loced -> lident list -> unit
method visit_pattern_unloc : 'c -> pattern_unloc -> unit
method visit_PIdent : 'c -> Archetype.Ident.ident -> unit
method visit_PCons : 'c -> unit
method visit_PNil : 'c -> unit
method visit_PSome : 'c -> unit
method visit_PNone : 'c -> unit
method visit_PLeft : 'c -> unit
method visit_PRight : 'c -> unit
method visit_pname : 'c -> pname -> unit
method visit_pattern : 'c -> pattern_unloc Archetype.Location.loced -> unit
method visit_VLBefore : 'c -> unit
method visit_VLIdent : 'c -> lident -> unit
method visit_var_label : 'c -> var_label -> unit
method visit_VSAdded : 'c -> unit
method visit_VSUnmoved : 'c -> unit
method visit_VSRemoved : 'c -> unit
method visit_var_vset : 'c -> var_vset -> unit
method visit_FIsimple : 'c -> lident -> unit
method visit_FIdouble : 'c -> lident -> lident -> unit
method visit_for_ident_unloc : 'c -> for_ident_unloc -> unit
method visit_for_ident : 'c -> for_ident_unloc Archetype.Location.loced -> unit
method visit_TTsimple : 'c -> expr -> expr -> unit
method visit_TTcontract : 'c -> expr -> expr -> lident -> type_t -> expr -> unit
method visit_TTentry : 'c -> expr -> lident -> expr -> unit
method visit_TTself : 'c -> expr -> lident -> expr list -> unit
method visit_TToperation : 'c -> expr -> unit
method visit_transfer_t : 'c -> transfer_t -> unit
method visit_Eterm : 'c -> (var_vset option * var_label option) -> 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_Esqapp : 'c -> expr -> expr -> 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 -> transfer_t -> unit
method visit_Edorequire : 'c -> expr -> expr -> unit
method visit_Edofailif : 'c -> expr -> expr -> unit
method visit_Efail : 'c -> expr -> unit
method visit_Eassign : 'c -> assignment_operator -> expr -> expr -> unit
method visit_Eif : 'c -> expr -> expr -> expr option -> unit
method visit_Efor : 'c -> lident option -> for_ident_unloc Archetype.Location.loced -> expr -> expr -> unit
method visit_Eiter : 'c -> lident option -> lident -> expr option -> expr -> expr -> unit
method visit_Ewhile : 'c -> lident 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_Efold : 'c -> expr -> lident -> expr -> unit
method visit_Emap : 'c -> expr -> lident -> expr -> unit
method visit_Erecupdate : 'c -> expr -> (lident * expr) 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_Eor : 'c -> or_ -> unit
method visit_Elambda : 'c -> type_t option -> lident -> type_t option -> expr -> unit
method visit_Eentrypoint : 'c -> type_t -> expr -> expr -> expr option -> unit
method visit_Ecallview : 'c -> type_t -> expr -> expr -> expr -> unit
method visit_Eunpack : 'c -> type_t -> expr -> unit
method visit_Eself : 'c -> lident -> unit
method visit_Eany : 'c -> unit
method visit_Enothing : 'c -> unit
method visit_Eunit : '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 -> type_t option -> unit
method visit_option_ : 'c -> option_ -> unit
method visit_Oleft : 'c -> type_t option -> type_t -> expr -> unit
method visit_Oright : 'c -> type_t -> type_t option -> expr -> unit
method visit_or_ : 'c -> or_ -> unit
method visit_Fident : 'c -> lident -> unit
method visit_Foperator : 'c -> operator Archetype.Location.loced -> unit
method visit_function_ : 'c -> function_ -> unit
method visit_Lint : 'c -> Archetype.Core.big_int -> unit
method visit_Lnat : 'c -> Archetype.Core.big_int -> unit
method visit_Ldecimal : 'c -> string -> unit
method visit_Ltz : 'c -> string -> unit
method visit_Lmtz : 'c -> string -> unit
method visit_Lutz : 'c -> string -> 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_Lpercent : '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_Vfails : 'c -> (lident * lident option * lident * type_t * expr) list -> unit
method visit_Vpostcondition : 'c -> (lident * expr * invariants * lident list * postkind option) -> unit
method visit_specification_item_unloc : 'c -> specification_item_unloc -> unit
method visit_PKPost : 'c -> unit
method visit_PKInv : 'c -> unit
method visit_postkind : 'c -> postkind -> 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_entry_properties : 'c -> entry_properties -> unit
method visit_transition : 'c -> transition -> unit
method visit_parameter : 'c -> (lident * type_t * expr option * bool) Archetype.Location.loced -> unit
method visit_parameters : 'c -> parameters -> unit
method visit_Muri : 'c -> string Archetype.Location.loced -> unit
method visit_Mjson : 'c -> string Archetype.Location.loced -> unit
method visit_metadata : 'c -> metadata -> 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 -> parameters -> metadata option -> 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_Drecord : 'c -> record_decl -> unit
method visit_Dentry : 'c -> entry_decl -> unit
method visit_Dtransition : 'c -> transition_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_Dspecasset : 'c -> (lident * label_exprs) -> unit
method visit_Dspecfun : 'c -> specfun -> unit
method visit_Dspecvariable : 'c -> (lident * label_exprs) -> unit
method visit_Dsecurity : 'c -> security_unloc Archetype.Location.loced -> unit
method visit_Dtype : 'c -> lident -> type_t -> unit
method visit_Dinvalid : 'c -> unit
method visit_declaration_unloc : 'c -> declaration_unloc -> unit
method visit_SKentry : 'c -> unit
method visit_SKfunction : 'c -> unit
method visit_SKgetter : 'c -> unit
method visit_SKview : 'c -> unit
method visit_specfun_kind : 'c -> specfun_kind -> unit
method visit_specfun : 'c -> specfun -> 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_record_decl : 'c -> record_decl -> unit
method visit_entry_decl : 'c -> entry_decl -> unit
method visit_transition_decl : 'c -> transition_decl -> unit
method visit_extension_decl : 'c -> extension_decl -> unit
method visit_namespace_decl : 'c -> namespace_decl -> unit
method visit_AOidentifiedby : 'c -> lident list -> unit
method visit_AOsortedby : 'c -> lident -> unit
method visit_AOtoBigMap : 'c -> 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 list -> 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_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