package archetype

  1. Overview
  2. Docs
package archetype
Legend:
Library
Module
Module type
Parameter
Class
Class type
constraint 'b reduce2 = 'b reduce2
inherit VisitorsRuntime.reduce2
inherit Archetype.Location.location_reduce2
inherit Archetype.Ident.ident_reduce2
method visit_Pwild : 'c -> 'd
method visit_Pref : 'c -> pname Archetype.Location.loced -> pname Archetype.Location.loced -> lident list -> lident list -> 'd
method fail_pattern_unloc : 'c -> pattern_unloc -> pattern_unloc -> 'd
method visit_pattern_unloc : 'c -> pattern_unloc -> pattern_unloc -> 'd
method visit_PIdent : 'c -> Archetype.Ident.ident -> Archetype.Ident.ident -> 'd
method visit_PCons : 'c -> 'd
method visit_PNil : 'c -> 'd
method visit_PSome : 'c -> 'd
method visit_PNone : 'c -> 'd
method visit_PLeft : 'c -> 'd
method visit_PRight : 'c -> 'd
method fail_pname : 'c -> pname -> pname -> 'd
method visit_pname : 'c -> pname -> pname -> 'd
method visit_VLBefore : 'c -> 'd
method visit_VLIdent : 'c -> lident -> lident -> 'd
method fail_var_label : 'c -> var_label -> var_label -> 'd
method visit_var_label : 'c -> var_label -> var_label -> 'd
method visit_VSAdded : 'c -> 'd
method visit_VSUnmoved : 'c -> 'd
method visit_VSRemoved : 'c -> 'd
method fail_var_vset : 'c -> var_vset -> var_vset -> 'd
method visit_var_vset : 'c -> var_vset -> var_vset -> 'd
method visit_FIsimple : 'c -> lident -> lident -> 'd
method visit_FIdouble : 'c -> lident -> lident -> lident -> lident -> 'd
method fail_for_ident_unloc : 'c -> for_ident_unloc -> for_ident_unloc -> 'd
method visit_for_ident_unloc : 'c -> for_ident_unloc -> for_ident_unloc -> 'd
method visit_TTsimple : 'c -> expr -> expr -> expr -> expr -> 'd
method visit_TTcontract : 'c -> expr -> expr -> expr -> expr -> lident -> lident -> type_t -> type_t -> expr -> expr -> 'd
method visit_TTentry : 'c -> expr -> expr -> lident -> lident -> expr -> expr -> 'd
method visit_TTself : 'c -> expr -> expr -> lident -> lident -> expr list -> expr list -> 'd
method visit_TToperation : 'c -> expr -> expr -> 'd
method fail_transfer_t : 'c -> transfer_t -> transfer_t -> 'd
method visit_transfer_t : 'c -> transfer_t -> transfer_t -> 'd
method visit_Eterm : 'c -> (var_vset option * var_label option) -> (var_vset option * var_label option) -> lident -> lident -> 'd
method visit_Eliteral : 'c -> literal -> literal -> 'd
method visit_Earray : 'c -> expr list -> expr list -> 'd
method visit_Erecord : 'c -> record_item list -> record_item list -> 'd
method visit_Etuple : 'c -> expr list -> expr list -> 'd
method visit_Edot : 'c -> expr -> expr -> lident -> lident -> 'd
method visit_Esqapp : 'c -> expr -> expr -> expr -> expr -> 'd
method visit_Emulticomp : 'c -> expr -> expr -> (comparison_operator Archetype.Location.loced * expr) list -> (comparison_operator Archetype.Location.loced * expr) list -> 'd
method visit_Eapp : 'c -> function_ -> function_ -> expr list -> expr list -> 'd
method visit_Eappt : 'c -> function_ -> function_ -> type_t list -> type_t list -> expr list -> expr list -> 'd
method visit_Emethod : 'c -> expr -> expr -> lident -> lident -> expr list -> expr list -> 'd
method visit_Etransfer : 'c -> transfer_t -> transfer_t -> 'd
method visit_Edorequire : 'c -> expr -> expr -> expr -> expr -> 'd
method visit_Edofailif : 'c -> expr -> expr -> expr -> expr -> 'd
method visit_Efail : 'c -> expr -> expr -> 'd
method visit_Eassign : 'c -> assignment_operator -> assignment_operator -> expr -> expr -> expr -> expr -> 'd
method visit_Eif : 'c -> expr -> expr -> expr -> expr -> expr option -> expr option -> 'd
method visit_Efor : 'c -> lident option -> lident option -> for_ident_unloc Archetype.Location.loced -> for_ident_unloc Archetype.Location.loced -> expr -> expr -> expr -> expr -> 'd
method visit_Eiter : 'c -> lident option -> lident option -> lident -> lident -> expr option -> expr option -> expr -> expr -> expr -> expr -> 'd
method visit_Ewhile : 'c -> lident option -> lident option -> expr -> expr -> expr -> expr -> 'd
method visit_Eseq : 'c -> expr -> expr -> expr -> expr -> 'd
method visit_Eletin : 'c -> lident -> lident -> type_t option -> type_t option -> expr -> expr -> expr -> expr -> expr option -> expr option -> 'd
method visit_Evar : 'c -> lident -> lident -> type_t option -> type_t option -> expr -> expr -> 'd
method visit_Ematchwith : 'c -> expr -> expr -> branch list -> branch list -> 'd
method visit_Efold : 'c -> expr -> expr -> lident -> lident -> expr -> expr -> 'd
method visit_Emap : 'c -> expr -> expr -> lident -> lident -> expr -> expr -> 'd
method visit_Erecupdate : 'c -> expr -> expr -> (lident * expr) list -> (lident * expr) list -> 'd
method visit_Equantifier : 'c -> quantifier -> quantifier -> lident -> lident -> quantifier_kind -> quantifier_kind -> expr -> expr -> 'd
method visit_Eassert : 'c -> lident -> lident -> 'd
method visit_Elabel : 'c -> lident -> lident -> 'd
method visit_Ereturn : 'c -> expr -> expr -> 'd
method visit_Eoption : 'c -> option_ -> option_ -> 'd
method visit_Eor : 'c -> or_ -> or_ -> 'd
method visit_Elambda : 'c -> type_t option -> type_t option -> lident -> lident -> type_t option -> type_t option -> expr -> expr -> 'd
method visit_Eentrypoint : 'c -> type_t -> type_t -> expr -> expr -> expr -> expr -> expr option -> expr option -> 'd
method visit_Ecallview : 'c -> type_t -> type_t -> expr -> expr -> expr -> expr -> expr -> expr -> 'd
method visit_Eunpack : 'c -> type_t -> type_t -> expr -> expr -> 'd
method visit_Eemit : 'c -> type_t -> type_t -> expr -> expr -> 'd
method visit_Eself : 'c -> lident -> lident -> 'd
method visit_Eany : 'c -> 'd
method visit_Enothing : 'c -> 'd
method visit_Eunit : 'c -> 'd
method visit_Einvalid : 'c -> 'd
method fail_expr_unloc : 'c -> expr_unloc -> expr_unloc -> 'd
method visit_expr_unloc : 'c -> expr_unloc -> expr_unloc -> 'd
method visit_branch : 'c -> branch -> branch -> 'd
method visit_Added : 'e -> 'd
method visit_After : 'e -> 'd
method visit_Before : 'e -> 'd
method visit_Fixed : 'e -> 'd
method visit_Removed : 'e -> 'd
method visit_Stable : 'e -> 'd
method fail_scope : 'e -> scope -> scope -> 'd
method visit_scope : 'e -> scope -> scope -> 'd
method visit_Qcollection : 'c -> expr -> expr -> 'd
method visit_Qtype : 'c -> type_t -> type_t -> 'd
method fail_quantifier_kind : 'c -> quantifier_kind -> quantifier_kind -> 'd
method visit_quantifier_kind : 'c -> quantifier_kind -> quantifier_kind -> 'd
method visit_OSome : 'c -> expr -> expr -> 'd
method visit_ONone : 'c -> type_t option -> type_t option -> 'd
method fail_option_ : 'c -> option_ -> option_ -> 'd
method visit_option_ : 'c -> option_ -> option_ -> 'd
method visit_Oleft : 'c -> type_t option -> type_t option -> type_t -> type_t -> expr -> expr -> 'd
method visit_Oright : 'c -> type_t -> type_t -> type_t option -> type_t option -> expr -> expr -> 'd
method fail_or_ : 'c -> or_ -> or_ -> 'd
method visit_or_ : 'c -> or_ -> or_ -> 'd
method visit_Fident : 'c -> lident -> lident -> 'd
method visit_Foperator : 'c -> operator Archetype.Location.loced -> operator Archetype.Location.loced -> 'd
method fail_function_ : 'c -> function_ -> function_ -> 'd
method visit_function_ : 'c -> function_ -> function_ -> 'd
method visit_Lint : 'c -> Archetype.Core.big_int -> Archetype.Core.big_int -> 'd
method visit_Lnat : 'c -> Archetype.Core.big_int -> Archetype.Core.big_int -> 'd
method visit_Ldecimal : 'c -> string -> string -> 'd
method visit_Ltz : 'c -> string -> string -> 'd
method visit_Lmtz : 'c -> string -> string -> 'd
method visit_Lutz : 'c -> string -> string -> 'd
method visit_Laddress : 'c -> string -> string -> 'd
method visit_Lstring : 'c -> string -> string -> 'd
method visit_Lbool : 'c -> bool -> bool -> 'd
method visit_Lduration : 'c -> string -> string -> 'd
method visit_Ldate : 'c -> string -> string -> 'd
method visit_Lbytes : 'c -> string -> string -> 'd
method visit_Lpercent : 'c -> string -> string -> 'd
method fail_literal : 'c -> literal -> literal -> 'd
method visit_literal : 'c -> literal -> literal -> 'd
method visit_record_item : 'c -> record_item -> record_item -> 'd
method visit_expr : 'c -> expr -> expr -> 'd
method visit_lident_typ : 'c -> lident_typ -> lident_typ -> 'd
method visit_label_expr : 'c -> (lident * expr) Archetype.Location.loced -> (lident * expr) Archetype.Location.loced -> 'd
method visit_label_exprs : 'c -> label_exprs -> label_exprs -> 'd
method visit_Eextension : 'c -> lident -> lident -> expr list -> expr list -> 'd
method visit_extension_unloc : 'c -> extension_unloc -> extension_unloc -> 'd
method visit_exts : 'c -> exts -> exts -> 'd
method visit_Ffield : 'c -> lident -> lident -> type_t -> type_t -> expr option -> expr option -> exts -> exts -> 'd
method visit_field_unloc : 'c -> field_unloc -> field_unloc -> 'd
method visit_args : 'c -> args -> args -> 'd
method visit_invariants : 'c -> invariants -> invariants -> 'd
method visit_Vpredicate : 'c -> lident -> lident -> args -> args -> expr -> expr -> 'd
method visit_Vdefinition : 'c -> lident -> lident -> type_t -> type_t -> lident -> lident -> expr -> expr -> 'd
method visit_Vvariable : 'c -> lident -> lident -> type_t -> type_t -> expr option -> expr option -> 'd
method visit_Veffect : 'c -> expr -> expr -> 'd
method visit_Vassert : 'c -> (lident * expr * invariants * lident list) -> (lident * expr * invariants * lident list) -> 'd
method visit_Vfails : 'c -> (lident * lident option * lident * type_t * expr) list -> (lident * lident option * lident * type_t * expr) list -> 'd
method visit_Vpostcondition : 'c -> (lident * expr * invariants * lident list * postkind option) -> (lident * expr * invariants * lident list * postkind option) -> 'd
method fail_specification_item_unloc : 'c -> specification_item_unloc -> specification_item_unloc -> 'd
method visit_specification_item_unloc : 'c -> specification_item_unloc -> specification_item_unloc -> 'd
method visit_PKPost : 'c -> 'd
method visit_PKInv : 'c -> 'd
method fail_postkind : 'c -> postkind -> postkind -> 'd
method visit_postkind : 'c -> postkind -> postkind -> 'd
method visit_specification_unloc : 'c -> specification_unloc -> specification_unloc -> 'd
method visit_Sident : 'c -> lident -> lident -> 'd
method visit_Sdot : 'c -> lident -> lident -> lident -> lident -> 'd
method visit_Slist : 'c -> security_arg list -> security_arg list -> 'd
method visit_Sapp : 'c -> lident -> lident -> security_arg list -> security_arg list -> 'd
method visit_Sbut : 'c -> lident -> lident -> security_arg -> security_arg -> 'd
method visit_Sto : 'c -> lident -> lident -> security_arg -> security_arg -> 'd
method fail_security_arg_unloc : 'c -> security_arg_unloc -> security_arg_unloc -> 'd
method visit_security_arg_unloc : 'c -> security_arg_unloc -> security_arg_unloc -> 'd
method visit_security_arg : 'c -> security_arg -> security_arg -> 'd
method visit_security_item_unloc : 'c -> security_item_unloc -> security_item_unloc -> 'd
method visit_security_unloc : 'c -> security_unloc -> security_unloc -> 'd
method visit_s_function : 'c -> s_function -> s_function -> 'd
method visit_entry_properties : 'c -> entry_properties -> entry_properties -> 'd
method visit_transition : 'c -> transition -> transition -> 'd
method visit_parameter : 'c -> (lident * type_t * expr option * bool) Archetype.Location.loced -> (lident * type_t * expr option * bool) Archetype.Location.loced -> 'd
method visit_parameters : 'c -> parameters -> parameters -> 'd
method visit_Muri : 'c -> string Archetype.Location.loced -> string Archetype.Location.loced -> 'd
method visit_Mjson : 'c -> string Archetype.Location.loced -> string Archetype.Location.loced -> 'd
method fail_metadata : 'c -> metadata -> metadata -> 'd
method visit_metadata : 'c -> metadata -> metadata -> 'd
method visit_VKvariable : 'c -> 'd
method visit_VKconstant : 'c -> 'd
method fail_variable_kind : 'c -> variable_kind -> variable_kind -> 'd
method visit_variable_kind : 'c -> variable_kind -> variable_kind -> 'd
method visit_EKenum : 'c -> lident -> lident -> 'd
method visit_EKstate : 'c -> 'd
method fail_enum_kind : 'c -> enum_kind -> enum_kind -> 'd
method visit_enum_kind : 'c -> enum_kind -> enum_kind -> 'd
method visit_Darchetype : 'c -> lident -> lident -> parameters -> parameters -> metadata option -> metadata option -> exts -> exts -> 'd
method visit_Dvariable : 'c -> variable_decl -> variable_decl -> 'd
method visit_Denum : 'c -> enum_kind -> enum_kind -> enum_decl -> enum_decl -> 'd
method visit_Dasset : 'c -> asset_decl -> asset_decl -> 'd
method visit_Drecord : 'c -> record_decl -> record_decl -> 'd
method visit_Dentry : 'c -> entry_decl -> entry_decl -> 'd
method visit_Dtransition : 'c -> transition_decl -> transition_decl -> 'd
method visit_Dextension : 'c -> extension_decl -> extension_decl -> 'd
method visit_Dnamespace : 'c -> namespace_decl -> namespace_decl -> 'd
method visit_Dfunction : 'c -> s_function -> s_function -> 'd
method visit_Dspecasset : 'c -> (lident * label_exprs) -> (lident * label_exprs) -> 'd
method visit_Dspecfun : 'c -> specfun -> specfun -> 'd
method visit_Dspecvariable : 'c -> (lident * label_exprs) -> (lident * label_exprs) -> 'd
method visit_Dtype : 'c -> lident -> lident -> type_t -> type_t -> 'd
method visit_Devent : 'c -> record_decl -> record_decl -> 'd
method visit_Dinvalid : 'c -> 'd
method fail_declaration_unloc : 'c -> declaration_unloc -> declaration_unloc -> 'd
method visit_declaration_unloc : 'c -> declaration_unloc -> declaration_unloc -> 'd
method visit_SKentry : 'c -> 'd
method visit_SKfunction : 'c -> 'd
method visit_SKgetter : 'c -> 'd
method visit_SKview : 'c -> 'd
method fail_specfun_kind : 'c -> specfun_kind -> specfun_kind -> 'd
method visit_specfun_kind : 'c -> specfun_kind -> specfun_kind -> 'd
method visit_specfun : 'c -> specfun -> specfun -> 'd
method visit_variable_decl : 'c -> variable_decl -> variable_decl -> 'd
method visit_enum_decl : 'c -> enum_decl -> enum_decl -> 'd
method visit_asset_decl : 'c -> asset_decl -> asset_decl -> 'd
method visit_record_decl : 'c -> record_decl -> record_decl -> 'd
method visit_entry_decl : 'c -> entry_decl -> entry_decl -> 'd
method visit_transition_decl : 'c -> transition_decl -> transition_decl -> 'd
method visit_extension_decl : 'c -> extension_decl -> extension_decl -> 'd
method visit_namespace_decl : 'c -> namespace_decl -> namespace_decl -> 'd
method visit_AOidentifiedby : 'c -> lident list -> lident list -> 'd
method visit_AOsortedby : 'c -> lident -> lident -> 'd
method visit_AOtoBigMap : 'c -> 'd
method fail_asset_option : 'c -> asset_option -> asset_option -> 'd
method visit_asset_option : 'c -> asset_option -> asset_option -> 'd
method visit_APOstates : 'c -> lident -> lident -> 'd
method visit_APOconstraints : 'c -> label_exprs -> label_exprs -> 'd
method visit_APOinit : 'c -> expr list -> expr list -> 'd
method fail_asset_post_option : 'c -> asset_post_option -> asset_post_option -> 'd
method visit_asset_post_option : 'c -> asset_post_option -> asset_post_option -> 'd
method visit_EOinitial : 'c -> 'd
method visit_EOspecification : 'c -> label_exprs -> label_exprs -> 'd
method fail_enum_option : 'c -> enum_option -> enum_option -> 'd
method visit_enum_option : 'c -> enum_option -> enum_option -> 'd
method visit_declaration : 'c -> declaration -> declaration -> 'd
method visit_AOadd : 'c -> 'd
method visit_AOremove : 'c -> 'd
method visit_AOupdate : 'c -> 'd
method fail_asset_operation_enum : 'c -> asset_operation_enum -> asset_operation_enum -> 'd
method visit_asset_operation_enum : 'c -> asset_operation_enum -> asset_operation_enum -> 'd
method visit_AssetOperation : 'c -> asset_operation_enum list -> asset_operation_enum list -> expr option -> expr option -> 'd
method visit_asset_operation : 'c -> asset_operation -> asset_operation -> 'd
method visit_Marchetype : 'c -> declaration list -> declaration list -> 'd
method visit_Mextension : 'c -> lident -> lident -> declaration list -> declaration list -> declaration list -> declaration list -> 'd
method fail_archetype_unloc : 'c -> archetype_unloc -> archetype_unloc -> 'd
method visit_archetype_unloc : 'c -> archetype_unloc -> archetype_unloc -> 'd
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