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 : 'e -> lident -> lident -> 'f
method fail_pattern_unloc : 'g -> pattern_unloc -> pattern_unloc -> 'h
method visit_pattern_unloc : 'i -> pattern_unloc -> pattern_unloc -> 'j
method visit_VLBefore : 'm -> 'n
method visit_VLIdent : 'o -> lident -> lident -> 'p
method fail_var_label : 'q -> var_label -> var_label -> 'r
method visit_var_label : 's -> var_label -> var_label -> 't
method visit_VSAdded : 'u -> 'v
method visit_VSUnmoved : 'w -> 'x
method visit_VSRemoved : 'y -> 'z
method fail_var_vset : 'a1 -> var_vset -> var_vset -> 'b1
method visit_var_vset : 'c1 -> var_vset -> var_vset -> 'd1
method visit_Eterm : 'e1 -> (var_vset option * var_label option) -> (var_vset option * var_label option) -> lident -> lident -> 'f1
method visit_Eliteral : 'g1 -> literal -> literal -> 'h1
method visit_Earray : 'i1 -> expr list -> expr list -> 'j1
method visit_Erecord : 'k1 -> record_item list -> record_item list -> 'l1
method visit_Etuple : 'm1 -> expr list -> expr list -> 'n1
method visit_Edot : 'o1 -> expr -> expr -> lident -> lident -> 'p1
method visit_Esqapp : 'q1 -> expr -> expr -> expr -> expr -> 'r1
method visit_Emulticomp : 's1 -> expr -> expr -> (comparison_operator Archetype.Location.loced * expr) list -> (comparison_operator Archetype.Location.loced * expr) list -> 't1
method visit_Eapp : 'u1 -> function_ -> function_ -> expr list -> expr list -> 'v1
method visit_Emethod : 'w1 -> expr -> expr -> lident -> lident -> expr list -> expr list -> 'x1
method visit_Etransfer : 'y1 -> expr -> expr -> expr -> expr -> (lident * expr list) option -> (lident * expr list) option -> 'z1
method visit_Erequire : 'a2 -> expr -> expr -> 'b2
method visit_Efailif : 'c2 -> expr -> expr -> 'd2
method visit_Efail : 'e2 -> expr -> expr -> 'f2
method visit_Eassign : 'g2 -> assignment_operator -> assignment_operator -> expr -> expr -> expr -> expr -> 'h2
method visit_Eif : 'i2 -> expr -> expr -> expr -> expr -> expr option -> expr option -> 'j2
method visit_Ebreak : 'k2 -> 'l2
method visit_Efor : 'm2 -> lident option -> lident option -> lident -> lident -> expr -> expr -> expr -> expr -> 'n2
method visit_Eiter : 'o2 -> lident option -> lident option -> lident -> lident -> expr option -> expr option -> expr -> expr -> expr -> expr -> 'p2
method visit_Eseq : 'q2 -> expr -> expr -> expr -> expr -> 'r2
method visit_Eletin : 's2 -> lident -> lident -> type_t option -> type_t option -> expr -> expr -> expr -> expr -> expr option -> expr option -> 't2
method visit_Evar : 'u2 -> lident -> lident -> type_t option -> type_t option -> expr -> expr -> 'v2
method visit_Ematchwith : 'w2 -> expr -> expr -> branch list -> branch list -> 'x2
method visit_Equantifier : 'y2 -> quantifier -> quantifier -> lident -> lident -> quantifier_kind -> quantifier_kind -> expr -> expr -> 'z2
method visit_Eassert : 'a3 -> lident -> lident -> 'b3
method visit_Elabel : 'c3 -> lident -> lident -> 'd3
method visit_Ereturn : 'e3 -> expr -> expr -> 'f3
method visit_Eoption : 'g3 -> option_ -> option_ -> 'h3
method visit_Eunpack : 'i3 -> type_t -> type_t -> expr -> expr -> 'j3
method visit_Eany : 'k3 -> 'l3
method visit_Enothing : 'm3 -> 'n3
method visit_Einvalid : 'o3 -> 'p3
method fail_expr_unloc : 'q3 -> expr_unloc -> expr_unloc -> 'r3
method visit_expr_unloc : 's3 -> expr_unloc -> expr_unloc -> 't3
method visit_branch : 'u3 -> branch -> branch -> 'v3
method visit_Added : 'w3 -> 'x3
method visit_After : 'y3 -> 'z3
method visit_Before : 'a4 -> 'b4
method visit_Fixed : 'c4 -> 'd4
method visit_Removed : 'e4 -> 'f4
method visit_Stable : 'g4 -> 'h4
method fail_scope : 'i4 -> scope -> scope -> 'j4
method visit_scope : 'k4 -> scope -> scope -> 'l4
method visit_Qcollection : 'm4 -> expr -> expr -> 'n4
method visit_Qtype : 'o4 -> type_t -> type_t -> 'p4
method fail_quantifier_kind : 'q4 -> quantifier_kind -> quantifier_kind -> 'r4
method visit_quantifier_kind : 's4 -> quantifier_kind -> quantifier_kind -> 't4
method visit_OSome : 'u4 -> expr -> expr -> 'v4
method visit_ONone : 'w4 -> 'x4
method fail_option_ : 'y4 -> option_ -> option_ -> 'z4
method visit_option_ : 'a5 -> option_ -> option_ -> 'b5
method visit_Fident : 'c5 -> lident -> lident -> 'd5
method visit_Foperator : 'e5 -> operator Archetype.Location.loced -> operator Archetype.Location.loced -> 'f5
method fail_function_ : 'g5 -> function_ -> function_ -> 'h5
method visit_function_ : 'i5 -> function_ -> function_ -> 'j5
method visit_Lnumber : 'k5 -> Archetype.Core.big_int -> Archetype.Core.big_int -> 'l5
method visit_Ldecimal : 'm5 -> string -> string -> 'n5
method visit_Ltz : 'o5 -> Archetype.Core.big_int -> Archetype.Core.big_int -> 'p5
method visit_Lmtz : 'q5 -> Archetype.Core.big_int -> Archetype.Core.big_int -> 'r5
method visit_Lutz : 's5 -> Archetype.Core.big_int -> Archetype.Core.big_int -> 't5
method visit_Laddress : 'u5 -> string -> string -> 'v5
method visit_Lstring : 'w5 -> string -> string -> 'x5
method visit_Lbool : 'y5 -> bool -> bool -> 'z5
method visit_Lduration : 'a6 -> string -> string -> 'b6
method visit_Ldate : 'c6 -> string -> string -> 'd6
method visit_Lbytes : 'e6 -> string -> string -> 'f6
method visit_Lpercent : 'g6 -> Archetype.Core.big_int -> Archetype.Core.big_int -> 'h6
method fail_literal : 'i6 -> literal -> literal -> 'j6
method visit_literal : 'k6 -> literal -> literal -> 'l6
method visit_record_item : 'm6 -> record_item -> record_item -> 'n6
method visit_expr : 'o6 -> expr -> expr -> 'l
method visit_lident_typ : 'p6 -> lident_typ -> lident_typ -> 'q6
method visit_label_expr : 'r6 -> (lident * expr) Archetype.Location.loced -> (lident * expr) Archetype.Location.loced -> 'l
method visit_label_exprs : 's6 -> label_exprs -> label_exprs -> 'l
method visit_Eextension : 't6 -> lident -> lident -> expr list -> expr list -> 'u6
method visit_extension_unloc : 'v6 -> extension_unloc -> extension_unloc -> 'w6
method visit_exts : 'y6 -> exts -> exts -> 'l
method visit_Ffield : 'z6 -> lident -> lident -> type_t -> type_t -> expr option -> expr option -> exts -> exts -> 'a7
method visit_field_unloc : 'b7 -> field_unloc -> field_unloc -> 'c7
method visit_args : 'e7 -> args -> args -> 'l
method visit_invariants : 'f7 -> invariants -> invariants -> 'l
method visit_Vpredicate : 'g7 -> lident -> lident -> args -> args -> expr -> expr -> 'h7
method visit_Vdefinition : 'i7 -> lident -> lident -> type_t -> type_t -> lident -> lident -> expr -> expr -> 'j7
method visit_Vvariable : 'k7 -> lident -> lident -> type_t -> type_t -> expr option -> expr option -> 'l7
method visit_Veffect : 'm7 -> expr -> expr -> 'n7
method visit_Vassert : 'o7 -> (lident * expr * invariants * lident list) -> (lident * expr * invariants * lident list) -> 'p7
method visit_Vpostcondition : 'q7 -> (lident * expr * invariants * lident list * postkind option) -> (lident * expr * invariants * lident list * postkind option) -> 'r7
method fail_specification_item_unloc : 's7 -> specification_item_unloc -> specification_item_unloc -> 't7
method visit_specification_item_unloc : 'u7 -> specification_item_unloc -> specification_item_unloc -> 'v7
method visit_PKPost : 'w7 -> 'x7
method visit_PKInv : 'y7 -> 'z7
method fail_postkind : 'a8 -> postkind -> postkind -> 'b8
method visit_postkind : 'c8 -> postkind -> postkind -> 'd8
method visit_specification_unloc : 'f8 -> specification_unloc -> specification_unloc -> 'g8
method visit_Sident : 'i8 -> lident -> lident -> 'j8
method visit_Sdot : 'k8 -> lident -> lident -> lident -> lident -> 'l8
method visit_Slist : 'm8 -> security_arg list -> security_arg list -> 'n8
method visit_Sapp : 'o8 -> lident -> lident -> security_arg list -> security_arg list -> 'p8
method visit_Sbut : 'q8 -> lident -> lident -> security_arg -> security_arg -> 'r8
method visit_Sto : 's8 -> lident -> lident -> security_arg -> security_arg -> 't8
method fail_security_arg_unloc : 'u8 -> security_arg_unloc -> security_arg_unloc -> 'v8
method visit_security_arg_unloc : 'w8 -> security_arg_unloc -> security_arg_unloc -> 'x8
method visit_security_arg : 'y8 -> security_arg -> security_arg -> 'l
method visit_security_item_unloc : 'z8 -> security_item_unloc -> security_item_unloc -> 'a9
method visit_security_unloc : 'c9 -> security_unloc -> security_unloc -> 'd9
method visit_s_function : 'g9 -> s_function -> s_function -> 'h9
method visit_entry_properties : 'i9 -> entry_properties -> entry_properties -> 'j9
method visit_transition : 'k9 -> transition -> transition -> 'l
method visit_VKvariable : 'l9 -> 'm9
method visit_VKconstant : 'n9 -> 'o9
method fail_variable_kind : 'p9 -> variable_kind -> variable_kind -> 'q9
method visit_variable_kind : 'r9 -> variable_kind -> variable_kind -> 's9
method visit_EKenum : 't9 -> lident -> lident -> 'u9
method visit_EKstate : 'v9 -> 'w9
method fail_enum_kind : 'x9 -> enum_kind -> enum_kind -> 'y9
method visit_enum_kind : 'z9 -> enum_kind -> enum_kind -> 'a10
method visit_Darchetype : 'b10 -> lident -> lident -> exts -> exts -> 'c10
method visit_Dvariable : 'd10 -> variable_decl -> variable_decl -> 'e10
method visit_Denum : 'f10 -> enum_kind -> enum_kind -> enum_decl -> enum_decl -> 'g10
method visit_Dasset : 'h10 -> asset_decl -> asset_decl -> 'i10
method visit_Dentry : 'j10 -> entry_decl -> entry_decl -> 'k10
method visit_Dtransition : 'l10 -> transition_decl -> transition_decl -> 'm10
method visit_Dcontract : 'n10 -> contract_decl -> contract_decl -> 'o10
method visit_Dextension : 'p10 -> extension_decl -> extension_decl -> 'q10
method visit_Dnamespace : 'r10 -> namespace_decl -> namespace_decl -> 's10
method visit_Dfunction : 't10 -> s_function -> s_function -> 'u10
method visit_Dinvalid : 'z10 -> 'a11
method fail_declaration_unloc : 'b11 -> declaration_unloc -> declaration_unloc -> 'c11
method visit_declaration_unloc : 'd11 -> declaration_unloc -> declaration_unloc -> 'e11
method visit_variable_decl : 'f11 -> variable_decl -> variable_decl -> 'g11
method visit_enum_decl : 'h11 -> enum_decl -> enum_decl -> 'i11
method visit_asset_decl : 'j11 -> asset_decl -> asset_decl -> 'k11
method visit_entry_decl : 'l11 -> entry_decl -> entry_decl -> 'm11
method visit_transition_decl : 'n11 -> transition_decl -> transition_decl -> 'o11
method visit_contract_decl : 'p11 -> contract_decl -> contract_decl -> 'q11
method visit_extension_decl : 'r11 -> extension_decl -> extension_decl -> 's11
method visit_namespace_decl : 't11 -> namespace_decl -> namespace_decl -> 'u11
method visit_VOfrom : 'v11 -> lident -> lident -> 'w11
method visit_VOto : 'x11 -> lident -> lident -> 'y11
method fail_value_option : 'z11 -> value_option -> value_option -> 'a12
method visit_value_option : 'b12 -> value_option -> value_option -> 'c12
method visit_AOidentifiedby : 'd12 -> lident -> lident -> 'e12
method visit_AOsortedby : 'f12 -> lident -> lident -> 'g12
method fail_asset_option : 'h12 -> asset_option -> asset_option -> 'i12
method visit_asset_option : 'j12 -> asset_option -> asset_option -> 'k12
method visit_APOstates : 'l12 -> lident -> lident -> 'm12
method visit_APOconstraints : 'n12 -> label_exprs -> label_exprs -> 'o12
method visit_APOinit : 'p12 -> expr list -> expr list -> 'q12
method fail_asset_post_option : 'r12 -> asset_post_option -> asset_post_option -> 's12
method visit_asset_post_option : 't12 -> asset_post_option -> asset_post_option -> 'u12
method visit_EOinitial : 'v12 -> 'w12
method visit_EOspecification : 'x12 -> label_exprs -> label_exprs -> 'y12
method fail_enum_option : 'z12 -> enum_option -> enum_option -> 'a13
method visit_enum_option : 'b13 -> enum_option -> enum_option -> 'c13
method visit_Ssignature : 'd13 -> lident -> lident -> (lident * type_t) list -> (lident * type_t) list -> 'e13
method visit_signature : 'f13 -> signature -> signature -> 'g13
method visit_declaration : 'h13 -> declaration -> declaration -> 'l
method visit_AOadd : 'i13 -> 'j13
method visit_AOremove : 'k13 -> 'l13
method visit_AOupdate : 'm13 -> 'n13
method fail_asset_operation_enum : 'o13 -> asset_operation_enum -> asset_operation_enum -> 'p13
method visit_asset_operation_enum : 'q13 -> asset_operation_enum -> asset_operation_enum -> 'r13
method visit_AssetOperation : 's13 -> asset_operation_enum list -> asset_operation_enum list -> expr option -> expr option -> 't13
method visit_asset_operation : 'u13 -> asset_operation -> asset_operation -> 'v13
method visit_Marchetype : 'w13 -> declaration list -> declaration list -> 'x13
method visit_Mextension : 'y13 -> lident -> lident -> declaration list -> declaration list -> declaration list -> declaration list -> 'z13
method fail_archetype_unloc : 'a14 -> archetype_unloc -> archetype_unloc -> 'b14
method visit_archetype_unloc : 'c14 -> archetype_unloc -> archetype_unloc -> 'd14
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