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