archetype 0.1.12 · 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_s_term : 'm -> s_term -> s_term -> 'n

method visit_Eterm : 'o -> s_term -> s_term -> lident -> lident -> 'p

method visit_Eliteral : 'q -> literal -> literal -> 'r

method visit_Earray : 's -> expr list -> expr list -> 't

method visit_Erecord : 'u -> record_item list -> record_item list -> 'v

method visit_Etuple : 'w -> expr list -> expr list -> 'x

method visit_Edot : 'y -> expr -> expr -> lident -> lident -> 'z

method visit_Emulticomp : 'a1 ->
  expr ->
  expr ->
  (comparison_operator Archetype.Location.loced * expr) list ->
  (comparison_operator Archetype.Location.loced * expr) list ->
  'b1

method visit_Eapp : 'c1 ->
  function_ ->
  function_ ->
  expr list ->
  expr list ->
  'd1

method visit_Emethod : 'e1 ->
  expr ->
  expr ->
  lident ->
  lident ->
  expr list ->
  expr list ->
  'f1

method visit_Etransfer : 'g1 -> expr -> expr -> expr -> expr -> 'h1

method visit_Erequire : 'i1 -> expr -> expr -> 'j1

method visit_Efailif : 'k1 -> expr -> expr -> 'l1

method visit_Eassign : 'm1 ->
  assignment_operator ->
  assignment_operator ->
  expr ->
  expr ->
  expr ->
  expr ->
  'n1

method visit_Eif : 'o1 ->
  expr ->
  expr ->
  expr ->
  expr ->
  expr option ->
  expr option ->
  'p1

method visit_Ebreak : 'q1 -> 'r1

method visit_Efor : 's1 ->
  lident option ->
  lident option ->
  lident ->
  lident ->
  expr ->
  expr ->
  expr ->
  expr ->
  't1

method visit_Eiter : 'u1 ->
  lident option ->
  lident option ->
  lident ->
  lident ->
  expr option ->
  expr option ->
  expr ->
  expr ->
  expr ->
  expr ->
  'v1

method visit_Eseq : 'w1 -> expr -> expr -> expr -> expr -> 'x1

method visit_Eletin : 'y1 ->
  lident ->
  lident ->
  type_t option ->
  type_t option ->
  expr ->
  expr ->
  expr ->
  expr ->
  expr option ->
  expr option ->
  'z1

method visit_Evar : 'a2 ->
  lident ->
  lident ->
  type_t option ->
  type_t option ->
  expr ->
  expr ->
  'b2

method visit_Ematchwith : 'c2 ->
  expr ->
  expr ->
  branch list ->
  branch list ->
  'd2

method visit_Equantifier : 'e2 ->
  quantifier ->
  quantifier ->
  lident ->
  lident ->
  quantifier_kind ->
  quantifier_kind ->
  expr ->
  expr ->
  'f2

method visit_Eassert : 'g2 -> lident -> lident -> 'h2

method visit_Elabel : 'i2 -> lident -> lident -> 'j2

method visit_Ereturn : 'k2 -> expr -> expr -> 'l2

method visit_Eoption : 'm2 -> option_ -> option_ -> 'n2

method visit_Enothing : 'o2 -> 'p2

method visit_Einvalid : 'q2 -> 'r2

method fail_expr_unloc : 's2 -> expr_unloc -> expr_unloc -> 't2

method visit_expr_unloc : 'u2 -> expr_unloc -> expr_unloc -> 'v2

method visit_branch : 'w2 -> branch -> branch -> 'x2

method visit_Added : 'y2 -> 'z2

method visit_After : 'a3 -> 'b3

method visit_Before : 'c3 -> 'd3

method visit_Fixed : 'e3 -> 'f3

method visit_Removed : 'g3 -> 'h3

method visit_Stable : 'i3 -> 'j3

method fail_scope : 'k3 -> scope -> scope -> 'l3

method visit_scope : 'm3 -> scope -> scope -> 'n3

method visit_Qcollection : 'o3 -> expr -> expr -> 'p3

method visit_Qtype : 'q3 -> type_t -> type_t -> 'r3

method fail_quantifier_kind : 's3 -> quantifier_kind -> quantifier_kind -> 't3

method visit_quantifier_kind : 'u3 -> quantifier_kind -> quantifier_kind -> 'v3

method visit_OSome : 'w3 -> expr -> expr -> 'x3

method visit_ONone : 'y3 -> 'z3

method fail_option_ : 'a4 -> option_ -> option_ -> 'b4

method visit_option_ : 'c4 -> option_ -> option_ -> 'd4

method visit_Fident : 'e4 -> lident -> lident -> 'f4

method visit_Foperator : 'g4 ->
  operator Archetype.Location.loced ->
  operator Archetype.Location.loced ->
  'h4

method fail_function_ : 'i4 -> function_ -> function_ -> 'j4

method visit_function_ : 'k4 -> function_ -> function_ -> 'l4

method visit_Lnumber : 'm4 ->
  Archetype.Core.big_int ->
  Archetype.Core.big_int ->
  'n4

method visit_Lrational : 'o4 ->
  Archetype.Core.big_int ->
  Archetype.Core.big_int ->
  Archetype.Core.big_int ->
  Archetype.Core.big_int ->
  'p4

method visit_Ltz : 'q4 ->
  Archetype.Core.big_int ->
  Archetype.Core.big_int ->
  'r4

method visit_Lmtz : 's4 ->
  Archetype.Core.big_int ->
  Archetype.Core.big_int ->
  't4

method visit_Lutz : 'u4 ->
  Archetype.Core.big_int ->
  Archetype.Core.big_int ->
  'v4

method visit_Laddress : 'w4 -> string -> string -> 'x4

method visit_Lstring : 'y4 -> string -> string -> 'z4

method visit_Lbool : 'a5 -> bool -> bool -> 'b5

method visit_Lduration : 'c5 -> string -> string -> 'd5

method visit_Ldate : 'e5 -> string -> string -> 'f5

method fail_literal : 'g5 -> literal -> literal -> 'h5

method visit_literal : 'i5 -> literal -> literal -> 'j5

method visit_record_item : 'k5 -> record_item -> record_item -> 'l5

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

method visit_lident_typ : 'n5 -> lident_typ -> lident_typ -> 'o5

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

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

method visit_Eextension : 'r5 ->
  lident ->
  lident ->
  expr option ->
  expr option ->
  's5

method visit_extension_unloc : 't5 -> extension_unloc -> extension_unloc -> 'u5

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

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

method visit_Ffield : 'x5 ->
  lident ->
  lident ->
  type_t ->
  type_t ->
  expr option ->
  expr option ->
  exts ->
  exts ->
  'y5

method visit_field_unloc : 'z5 -> field_unloc -> field_unloc -> 'a6

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

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

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

method visit_Vpredicate : 'e6 ->
  lident ->
  lident ->
  args ->
  args ->
  expr ->
  expr ->
  'f6

method visit_Vdefinition : 'g6 ->
  lident ->
  lident ->
  type_t ->
  type_t ->
  lident ->
  lident ->
  expr ->
  expr ->
  'h6

method visit_Vvariable : 'i6 ->
  lident ->
  lident ->
  type_t ->
  type_t ->
  expr option ->
  expr option ->
  'j6

method visit_Veffect : 'k6 -> expr -> expr -> 'l6

method visit_Vassert : 'm6 ->
  (lident * expr * invariants * lident list) ->
  (lident * expr * invariants * lident list) ->
  'n6

method visit_Vpostcondition : 'o6 ->
  (lident * expr * invariants * lident list) ->
  (lident * expr * invariants * lident list) ->
  'p6

method visit_Vcontractinvariant : 'q6 ->
  (lident * expr * invariants * lident list) ->
  (lident * expr * invariants * lident list) ->
  'r6

method fail_specification_item_unloc : 's6 ->
  specification_item_unloc ->
  specification_item_unloc ->
  't6

method visit_specification_item_unloc : 'u6 ->
  specification_item_unloc ->
  specification_item_unloc ->
  'v6

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

method visit_specification_unloc : 'x6 ->
  specification_unloc ->
  specification_unloc ->
  'y6

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

method visit_Sident : 'a7 -> lident -> lident -> 'b7

method visit_Sdot : 'c7 -> lident -> lident -> lident -> lident -> 'd7

method visit_Slist : 'e7 -> security_arg list -> security_arg list -> 'f7

method visit_Sapp : 'g7 ->
  lident ->
  lident ->
  security_arg list ->
  security_arg list ->
  'h7

method visit_Sbut : 'i7 ->
  lident ->
  lident ->
  security_arg ->
  security_arg ->
  'j7

method visit_Sto : 'k7 ->
  lident ->
  lident ->
  security_arg ->
  security_arg ->
  'l7

method fail_security_arg_unloc : 'm7 ->
  security_arg_unloc ->
  security_arg_unloc ->
  'n7

method visit_security_arg_unloc : 'o7 ->
  security_arg_unloc ->
  security_arg_unloc ->
  'p7

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

method visit_security_item_unloc : 'r7 ->
  security_item_unloc ->
  security_item_unloc ->
  's7

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

method visit_security_unloc : 'u7 -> security_unloc -> security_unloc -> 'v7

method visit_security : 'w7 ->
  security_unloc Archetype.Location.loced ->
  security_unloc Archetype.Location.loced ->
  'x7

method visit_s_function : 'y7 -> s_function -> s_function -> 'z7

method visit_action_properties : 'a8 ->
  action_properties ->
  action_properties ->
  'b8

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

method visit_VKvariable : 'd8 -> 'e8

method visit_VKconstant : 'f8 -> 'g8

method fail_variable_kind : 'h8 -> variable_kind -> variable_kind -> 'i8

method visit_variable_kind : 'j8 -> variable_kind -> variable_kind -> 'k8

method visit_EKenum : 'l8 -> lident -> lident -> 'm8

method visit_EKstate : 'n8 -> 'o8

method fail_enum_kind : 'p8 -> enum_kind -> enum_kind -> 'q8

method visit_enum_kind : 'r8 -> enum_kind -> enum_kind -> 's8

method visit_Darchetype : 't8 -> lident -> lident -> exts -> exts -> 'u8

method visit_Dvariable : 'v8 -> variable_decl -> variable_decl -> 'w8

method visit_Denum : 'x8 ->
  enum_kind ->
  enum_kind ->
  enum_decl ->
  enum_decl ->
  'y8

method visit_Dasset : 'z8 -> asset_decl -> asset_decl -> 'a9

method visit_Daction : 'b9 -> action_decl -> action_decl -> 'c9

method visit_Dtransition : 'd9 -> transition_decl -> transition_decl -> 'e9

method visit_Dcontract : 'f9 -> contract_decl -> contract_decl -> 'g9

method visit_Dextension : 'h9 -> extension_decl -> extension_decl -> 'i9

method visit_Dnamespace : 'j9 -> namespace_decl -> namespace_decl -> 'k9

method visit_Dfunction : 'l9 -> s_function -> s_function -> 'm9

method visit_Dspecification : 'n9 ->
  specification_unloc Archetype.Location.loced ->
  specification_unloc Archetype.Location.loced ->
  'o9

method visit_Dsecurity : 'p9 ->
  security_unloc Archetype.Location.loced ->
  security_unloc Archetype.Location.loced ->
  'q9

method visit_Dinvalid : 'r9 -> 's9

method fail_declaration_unloc : 't9 ->
  declaration_unloc ->
  declaration_unloc ->
  'u9

method visit_declaration_unloc : 'v9 ->
  declaration_unloc ->
  declaration_unloc ->
  'w9

method visit_variable_decl : 'x9 -> variable_decl -> variable_decl -> 'y9

method visit_enum_decl : 'z9 -> enum_decl -> enum_decl -> 'a10

method visit_asset_decl : 'b10 -> asset_decl -> asset_decl -> 'c10

method visit_action_decl : 'd10 -> action_decl -> action_decl -> 'e10

method visit_transition_decl : 'f10 ->
  transition_decl ->
  transition_decl ->
  'g10

method visit_contract_decl : 'h10 -> contract_decl -> contract_decl -> 'i10

method visit_extension_decl : 'j10 -> extension_decl -> extension_decl -> 'k10

method visit_namespace_decl : 'l10 -> namespace_decl -> namespace_decl -> 'm10

method visit_VOfrom : 'n10 -> lident -> lident -> 'o10

method visit_VOto : 'p10 -> lident -> lident -> 'q10

method fail_value_option : 'r10 -> value_option -> value_option -> 's10

method visit_value_option : 't10 -> value_option -> value_option -> 'u10

method visit_AOidentifiedby : 'v10 -> lident -> lident -> 'w10

method visit_AOsortedby : 'x10 -> lident -> lident -> 'y10

method fail_asset_option : 'z10 -> asset_option -> asset_option -> 'a11

method visit_asset_option : 'b11 -> asset_option -> asset_option -> 'c11

method visit_APOstates : 'd11 -> lident -> lident -> 'e11

method visit_APOconstraints : 'f11 -> label_exprs -> label_exprs -> 'g11

method visit_APOinit : 'h11 -> expr -> expr -> 'i11

method fail_asset_post_option : 'j11 ->
  asset_post_option ->
  asset_post_option ->
  'k11

method visit_asset_post_option : 'l11 ->
  asset_post_option ->
  asset_post_option ->
  'm11

method visit_EOinitial : 'n11 -> 'o11

method visit_EOspecification : 'p11 -> label_exprs -> label_exprs -> 'q11

method fail_enum_option : 'r11 -> enum_option -> enum_option -> 's11

method visit_enum_option : 't11 -> enum_option -> enum_option -> 'u11

method visit_Ssignature : 'v11 ->
  lident ->
  lident ->
  type_t list ->
  type_t list ->
  'w11

method visit_signature : 'x11 -> signature -> signature -> 'y11

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

method visit_AOadd : 'a12 -> 'b12

method visit_AOremove : 'c12 -> 'd12

method visit_AOupdate : 'e12 -> 'f12

method fail_asset_operation_enum : 'g12 ->
  asset_operation_enum ->
  asset_operation_enum ->
  'h12

method visit_asset_operation_enum : 'i12 ->
  asset_operation_enum ->
  asset_operation_enum ->
  'j12

method visit_AssetOperation : 'k12 ->
  asset_operation_enum list ->
  asset_operation_enum list ->
  expr option ->
  expr option ->
  'l12

method visit_asset_operation : 'm12 ->
  asset_operation ->
  asset_operation ->
  'n12

method visit_Marchetype : 'o12 -> declaration list -> declaration list -> 'p12

method visit_Mextension : 'q12 ->
  lident ->
  lident ->
  declaration list ->
  declaration list ->
  declaration list ->
  declaration list ->
  'r12

method fail_archetype_unloc : 's12 ->
  archetype_unloc ->
  archetype_unloc ->
  't12

method visit_archetype_unloc : 'u12 ->
  archetype_unloc ->
  archetype_unloc ->
  'v12

method visit_archetype : 'w12 ->
  archetype_unloc Archetype.Location.loced ->
  archetype_unloc Archetype.Location.loced ->
  'x7

package archetype