archetype 0.1.14 · OCaml Package

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_pattern : 'k ->
  pattern_unloc Archetype.Location.loced ->
  pattern_unloc Archetype.Location.loced ->
  'l

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_Emulticomp : 'q1 ->
  expr ->
  expr ->
  (comparison_operator Archetype.Location.loced * expr) list ->
  (comparison_operator Archetype.Location.loced * expr) list ->
  'r1

method visit_Eapp : 's1 ->
  function_ ->
  function_ ->
  expr list ->
  expr list ->
  't1

method visit_Emethod : 'u1 ->
  expr ->
  expr ->
  lident ->
  lident ->
  expr list ->
  expr list ->
  'v1

method visit_Etransfer : 'w1 ->
  expr ->
  expr ->
  expr ->
  expr ->
  (lident * expr list) option ->
  (lident * expr list) option ->
  'x1

method visit_Erequire : 'y1 -> expr -> expr -> 'z1

method visit_Efailif : 'a2 -> expr -> expr -> 'b2

method visit_Efail : 'c2 -> expr -> expr -> 'd2

method visit_Eassign : 'e2 ->
  assignment_operator ->
  assignment_operator ->
  expr ->
  expr ->
  expr ->
  expr ->
  'f2

method visit_Eif : 'g2 ->
  expr ->
  expr ->
  expr ->
  expr ->
  expr option ->
  expr option ->
  'h2

method visit_Ebreak : 'i2 -> 'j2

method visit_Efor : 'k2 ->
  lident option ->
  lident option ->
  lident ->
  lident ->
  expr ->
  expr ->
  expr ->
  expr ->
  'l2

method visit_Eiter : 'm2 ->
  lident option ->
  lident option ->
  lident ->
  lident ->
  expr option ->
  expr option ->
  expr ->
  expr ->
  expr ->
  expr ->
  'n2

method visit_Eseq : 'o2 -> expr -> expr -> expr -> expr -> 'p2

method visit_Eletin : 'q2 ->
  lident ->
  lident ->
  type_t option ->
  type_t option ->
  expr ->
  expr ->
  expr ->
  expr ->
  expr option ->
  expr option ->
  'r2

method visit_Evar : 's2 ->
  lident ->
  lident ->
  type_t option ->
  type_t option ->
  expr ->
  expr ->
  't2

method visit_Ematchwith : 'u2 ->
  expr ->
  expr ->
  branch list ->
  branch list ->
  'v2

method visit_Equantifier : 'w2 ->
  quantifier ->
  quantifier ->
  lident ->
  lident ->
  quantifier_kind ->
  quantifier_kind ->
  expr ->
  expr ->
  'x2

method visit_Eassert : 'y2 -> lident -> lident -> 'z2

method visit_Elabel : 'a3 -> lident -> lident -> 'b3

method visit_Ereturn : 'c3 -> expr -> expr -> 'd3

method visit_Eoption : 'e3 -> option_ -> option_ -> 'f3

method visit_Eany : 'g3 -> 'h3

method visit_Enothing : 'i3 -> 'j3

method visit_Einvalid : 'k3 -> 'l3

method fail_expr_unloc : 'm3 -> expr_unloc -> expr_unloc -> 'n3

method visit_expr_unloc : 'o3 -> expr_unloc -> expr_unloc -> 'p3

method visit_branch : 'q3 -> branch -> branch -> 'r3

method visit_Added : 's3 -> 't3

method visit_After : 'u3 -> 'v3

method visit_Before : 'w3 -> 'x3

method visit_Fixed : 'y3 -> 'z3

method visit_Removed : 'a4 -> 'b4

method visit_Stable : 'c4 -> 'd4

method fail_scope : 'e4 -> scope -> scope -> 'f4

method visit_scope : 'g4 -> scope -> scope -> 'h4

method visit_Qcollection : 'i4 -> expr -> expr -> 'j4

method visit_Qtype : 'k4 -> type_t -> type_t -> 'l4

method fail_quantifier_kind : 'm4 -> quantifier_kind -> quantifier_kind -> 'n4

method visit_quantifier_kind : 'o4 -> quantifier_kind -> quantifier_kind -> 'p4

method visit_OSome : 'q4 -> expr -> expr -> 'r4

method visit_ONone : 's4 -> 't4

method fail_option_ : 'u4 -> option_ -> option_ -> 'v4

method visit_option_ : 'w4 -> option_ -> option_ -> 'x4

method visit_Fident : 'y4 -> lident -> lident -> 'z4

method visit_Foperator : 'a5 ->
  operator Archetype.Location.loced ->
  operator Archetype.Location.loced ->
  'b5

method fail_function_ : 'c5 -> function_ -> function_ -> 'd5

method visit_function_ : 'e5 -> function_ -> function_ -> 'f5

method visit_Lnumber : 'g5 ->
  Archetype.Core.big_int ->
  Archetype.Core.big_int ->
  'h5

method visit_Ldecimal : 'i5 -> string -> string -> 'j5

method visit_Ltz : 'k5 ->
  Archetype.Core.big_int ->
  Archetype.Core.big_int ->
  'l5

method visit_Lmtz : 'm5 ->
  Archetype.Core.big_int ->
  Archetype.Core.big_int ->
  'n5

method visit_Lutz : 'o5 ->
  Archetype.Core.big_int ->
  Archetype.Core.big_int ->
  'p5

method visit_Laddress : 'q5 -> string -> string -> 'r5

method visit_Lstring : 's5 -> string -> string -> 't5

method visit_Lbool : 'u5 -> bool -> bool -> 'v5

method visit_Lduration : 'w5 -> string -> string -> 'x5

method visit_Ldate : 'y5 -> string -> string -> 'z5

method visit_Lbytes : 'a6 -> string -> string -> 'b6

method visit_Lpercent : 'c6 ->
  Archetype.Core.big_int ->
  Archetype.Core.big_int ->
  'd6

method fail_literal : 'e6 -> literal -> literal -> 'f6

method visit_literal : 'g6 -> literal -> literal -> 'h6

method visit_record_item : 'i6 -> record_item -> record_item -> 'j6

method visit_expr : 'k6 -> expr -> expr -> 'l

method visit_lident_typ : 'l6 -> lident_typ -> lident_typ -> 'm6

method visit_label_expr : 'n6 ->
  (lident * expr) Archetype.Location.loced ->
  (lident * expr) Archetype.Location.loced ->
  'l

method visit_label_exprs : 'o6 -> label_exprs -> label_exprs -> 'l

method visit_Eextension : 'p6 ->
  lident ->
  lident ->
  expr list ->
  expr list ->
  'q6

method visit_extension_unloc : 'r6 -> extension_unloc -> extension_unloc -> 's6

method visit_extension : 't6 ->
  extension_unloc Archetype.Location.loced ->
  extension_unloc Archetype.Location.loced ->
  'l

method visit_exts : 'u6 -> exts -> exts -> 'l

method visit_Ffield : 'v6 ->
  lident ->
  lident ->
  type_t ->
  type_t ->
  expr option ->
  expr option ->
  exts ->
  exts ->
  'w6

method visit_field_unloc : 'x6 -> field_unloc -> field_unloc -> 'y6

method visit_field : 'z6 ->
  field_unloc Archetype.Location.loced ->
  field_unloc Archetype.Location.loced ->
  'l

method visit_args : 'a7 -> args -> args -> 'l

method visit_invariants : 'b7 -> invariants -> invariants -> 'l

method visit_Vpredicate : 'c7 ->
  lident ->
  lident ->
  args ->
  args ->
  expr ->
  expr ->
  'd7

method visit_Vdefinition : 'e7 ->
  lident ->
  lident ->
  type_t ->
  type_t ->
  lident ->
  lident ->
  expr ->
  expr ->
  'f7

method visit_Vvariable : 'g7 ->
  lident ->
  lident ->
  type_t ->
  type_t ->
  expr option ->
  expr option ->
  'h7

method visit_Veffect : 'i7 -> expr -> expr -> 'j7

method visit_Vassert : 'k7 ->
  (lident * expr * invariants * lident list) ->
  (lident * expr * invariants * lident list) ->
  'l7

method visit_Vpostcondition : 'm7 ->
  (lident * expr * invariants * lident list * postkind option) ->
  (lident * expr * invariants * lident list * postkind option) ->
  'n7

method fail_specification_item_unloc : 'o7 ->
  specification_item_unloc ->
  specification_item_unloc ->
  'p7

method visit_specification_item_unloc : 'q7 ->
  specification_item_unloc ->
  specification_item_unloc ->
  'r7

method visit_PKPost : 's7 -> 't7

method visit_PKInv : 'u7 -> 'v7

method fail_postkind : 'w7 -> postkind -> postkind -> 'x7

method visit_postkind : 'y7 -> postkind -> postkind -> 'z7

method visit_specification_item : 'a8 ->
  specification_item_unloc Archetype.Location.loced ->
  specification_item_unloc Archetype.Location.loced ->
  'l

method visit_specification_unloc : 'b8 ->
  specification_unloc ->
  specification_unloc ->
  'c8

method visit_specification : 'd8 ->
  specification_unloc Archetype.Location.loced ->
  specification_unloc Archetype.Location.loced ->
  'l

method visit_Sident : 'e8 -> lident -> lident -> 'f8

method visit_Sdot : 'g8 -> lident -> lident -> lident -> lident -> 'h8

method visit_Slist : 'i8 -> security_arg list -> security_arg list -> 'j8

method visit_Sapp : 'k8 ->
  lident ->
  lident ->
  security_arg list ->
  security_arg list ->
  'l8

method visit_Sbut : 'm8 ->
  lident ->
  lident ->
  security_arg ->
  security_arg ->
  'n8

method visit_Sto : 'o8 ->
  lident ->
  lident ->
  security_arg ->
  security_arg ->
  'p8

method fail_security_arg_unloc : 'q8 ->
  security_arg_unloc ->
  security_arg_unloc ->
  'r8

method visit_security_arg_unloc : 's8 ->
  security_arg_unloc ->
  security_arg_unloc ->
  't8

method visit_security_arg : 'u8 -> security_arg -> security_arg -> 'l

method visit_security_item_unloc : 'v8 ->
  security_item_unloc ->
  security_item_unloc ->
  'w8

method visit_security_item : 'x8 ->
  security_item_unloc Archetype.Location.loced ->
  security_item_unloc Archetype.Location.loced ->
  'l

method visit_security_unloc : 'y8 -> security_unloc -> security_unloc -> 'z8

method visit_security : 'a9 ->
  security_unloc Archetype.Location.loced ->
  security_unloc Archetype.Location.loced ->
  'b9

method visit_s_function : 'c9 -> s_function -> s_function -> 'd9

method visit_action_properties : 'e9 ->
  action_properties ->
  action_properties ->
  'f9

method visit_transition : 'g9 -> transition -> transition -> 'l

method visit_VKvariable : 'h9 -> 'i9

method visit_VKconstant : 'j9 -> 'k9

method fail_variable_kind : 'l9 -> variable_kind -> variable_kind -> 'm9

method visit_variable_kind : 'n9 -> variable_kind -> variable_kind -> 'o9

method visit_EKenum : 'p9 -> lident -> lident -> 'q9

method visit_EKstate : 'r9 -> 's9

method fail_enum_kind : 't9 -> enum_kind -> enum_kind -> 'u9

method visit_enum_kind : 'v9 -> enum_kind -> enum_kind -> 'w9

method visit_Darchetype : 'x9 -> lident -> lident -> exts -> exts -> 'y9

method visit_Dvariable : 'z9 -> variable_decl -> variable_decl -> 'a10

method visit_Denum : 'b10 ->
  enum_kind ->
  enum_kind ->
  enum_decl ->
  enum_decl ->
  'c10

method visit_Dasset : 'd10 -> asset_decl -> asset_decl -> 'e10

method visit_Daction : 'f10 -> action_decl -> action_decl -> 'g10

method visit_Dtransition : 'h10 -> transition_decl -> transition_decl -> 'i10

method visit_Dcontract : 'j10 -> contract_decl -> contract_decl -> 'k10

method visit_Dextension : 'l10 -> extension_decl -> extension_decl -> 'm10

method visit_Dnamespace : 'n10 -> namespace_decl -> namespace_decl -> 'o10

method visit_Dfunction : 'p10 -> s_function -> s_function -> 'q10

method visit_Dspecification : 'r10 ->
  specification_unloc Archetype.Location.loced ->
  specification_unloc Archetype.Location.loced ->
  's10

method visit_Dsecurity : 't10 ->
  security_unloc Archetype.Location.loced ->
  security_unloc Archetype.Location.loced ->
  'u10

method visit_Dinvalid : 'v10 -> 'w10

method fail_declaration_unloc : 'x10 ->
  declaration_unloc ->
  declaration_unloc ->
  'y10

method visit_declaration_unloc : 'z10 ->
  declaration_unloc ->
  declaration_unloc ->
  'a11

method visit_variable_decl : 'b11 -> variable_decl -> variable_decl -> 'c11

method visit_enum_decl : 'd11 -> enum_decl -> enum_decl -> 'e11

method visit_asset_decl : 'f11 -> asset_decl -> asset_decl -> 'g11

method visit_action_decl : 'h11 -> action_decl -> action_decl -> 'i11

method visit_transition_decl : 'j11 ->
  transition_decl ->
  transition_decl ->
  'k11

method visit_contract_decl : 'l11 -> contract_decl -> contract_decl -> 'm11

method visit_extension_decl : 'n11 -> extension_decl -> extension_decl -> 'o11

method visit_namespace_decl : 'p11 -> namespace_decl -> namespace_decl -> 'q11

method visit_VOfrom : 'r11 -> lident -> lident -> 's11

method visit_VOto : 't11 -> lident -> lident -> 'u11

method fail_value_option : 'v11 -> value_option -> value_option -> 'w11

method visit_value_option : 'x11 -> value_option -> value_option -> 'y11

method visit_AOidentifiedby : 'z11 -> lident -> lident -> 'a12

method visit_AOsortedby : 'b12 -> lident -> lident -> 'c12

method fail_asset_option : 'd12 -> asset_option -> asset_option -> 'e12

method visit_asset_option : 'f12 -> asset_option -> asset_option -> 'g12

method visit_APOstates : 'h12 -> lident -> lident -> 'i12

method visit_APOconstraints : 'j12 -> label_exprs -> label_exprs -> 'k12

method visit_APOinit : 'l12 -> expr list -> expr list -> 'm12

method fail_asset_post_option : 'n12 ->
  asset_post_option ->
  asset_post_option ->
  'o12

method visit_asset_post_option : 'p12 ->
  asset_post_option ->
  asset_post_option ->
  'q12

method visit_EOinitial : 'r12 -> 's12

method visit_EOspecification : 't12 -> label_exprs -> label_exprs -> 'u12

method fail_enum_option : 'v12 -> enum_option -> enum_option -> 'w12

method visit_enum_option : 'x12 -> enum_option -> enum_option -> 'y12

method visit_Ssignature : 'z12 ->
  lident ->
  lident ->
  (lident * type_t) list ->
  (lident * type_t) list ->
  'a13

method visit_signature : 'b13 -> signature -> signature -> 'c13

method visit_declaration : 'd13 -> declaration -> declaration -> 'l

method visit_AOadd : 'e13 -> 'f13

method visit_AOremove : 'g13 -> 'h13

method visit_AOupdate : 'i13 -> 'j13

method fail_asset_operation_enum : 'k13 ->
  asset_operation_enum ->
  asset_operation_enum ->
  'l13

method visit_asset_operation_enum : 'm13 ->
  asset_operation_enum ->
  asset_operation_enum ->
  'n13

method visit_AssetOperation : 'o13 ->
  asset_operation_enum list ->
  asset_operation_enum list ->
  expr option ->
  expr option ->
  'p13

method visit_asset_operation : 'q13 ->
  asset_operation ->
  asset_operation ->
  'r13

method visit_Marchetype : 's13 -> declaration list -> declaration list -> 't13

method visit_Mextension : 'u13 ->
  lident ->
  lident ->
  declaration list ->
  declaration list ->
  declaration list ->
  declaration list ->
  'v13

method fail_archetype_unloc : 'w13 ->
  archetype_unloc ->
  archetype_unloc ->
  'x13

method visit_archetype_unloc : 'y13 ->
  archetype_unloc ->
  archetype_unloc ->
  'z13

method visit_archetype : 'a14 ->
  archetype_unloc Archetype.Location.loced ->
  archetype_unloc Archetype.Location.loced ->
  'b9

package archetype