electrod 0.2.3 · OCaml Package

constraint 'b recursor = 'b recursor

inherit VisitorsRuntime.fold

inherit VisitorsRuntime.map

method virtual build_Add : 'c -> 'd

method virtual build_All : 'e -> 'f

method virtual build_And : 'g -> 'h

method virtual build_Block : 'i -> 'j list -> 'k

method virtual build_Card : 'l -> Libelectrod.Elo.exp -> 'm -> 'n

method virtual build_Compr : 'o ->
  (bool * int * Libelectrod.Elo.exp) list ->
  Libelectrod.Elo.fml list ->
  (bool * int * 'p) list ->
  'q list ->
  'r

method virtual build_Diff : 's -> 't

method virtual build_F : 'u -> 'v

method virtual build_FIte : 'w ->
  Libelectrod.Elo.fml ->
  Libelectrod.Elo.fml ->
  Libelectrod.Elo.fml ->
  'x ->
  'y ->
  'z ->
  'a1

method virtual build_False : 'b1 -> 'c1

method virtual build_G : 'd1 -> 'e1

method virtual build_Gt : 'f1 -> 'g1

method virtual build_Gte : 'h1 -> 'i1

method virtual build_H : 'j1 -> 'k1

method virtual build_IBin : 'l1 ->
  Libelectrod.Elo.iexp ->
  Libelectrod.Elo.ibinop ->
  Libelectrod.Elo.iexp ->
  'm1 ->
  'n1 ->
  'o1 ->
  'p1

method virtual build_IComp : 'q1 ->
  Libelectrod.Elo.iexp ->
  Libelectrod.Elo.icomp_op ->
  Libelectrod.Elo.iexp ->
  'r1 ->
  's1 ->
  't1 ->
  'u1

method virtual build_IEq : 'v1 -> 'w1

method virtual build_INEq : 'x1 -> 'y1

method virtual build_IUn : 'z1 ->
  Libelectrod.Elo.iunop ->
  Libelectrod.Elo.iexp ->
  'a2 ->
  'b2 ->
  'c2

method virtual build_Iden : 'd2 -> 'e2

method virtual build_Iff : 'f2 -> 'g2

method virtual build_Imp : 'h2 -> 'i2

method virtual build_In : 'j2 -> 'k2

method virtual build_Inter : 'l2 -> 'm2

method virtual build_Join : 'n2 -> 'o2

method virtual build_LBin : 'p2 ->
  Libelectrod.Elo.fml ->
  Libelectrod.Elo.lbinop ->
  Libelectrod.Elo.fml ->
  'q2 ->
  'r2 ->
  's2 ->
  't2

method virtual build_LProj : 'u2 -> 'v2

method virtual build_LUn : 'w2 ->
  Libelectrod.Elo.lunop ->
  Libelectrod.Elo.fml ->
  'x2 ->
  'y2 ->
  'z2

method virtual build_Lt : 'a3 -> 'b3

method virtual build_Lte : 'c3 -> 'd3

method virtual build_Name : 'e3 ->
  Libelectrod.Name.t ->
  Libelectrod.Name.t ->
  'f3

method virtual build_Neg : 'g3 -> 'h3

method virtual build_No : 'i3 -> 'j3

method virtual build_None_ : 'k3 -> 'l3

method virtual build_Not : 'm3 -> 'n3

method virtual build_NotIn : 'o3 -> 'p3

method virtual build_Num : 'q3 -> int -> int -> 'r3

method virtual build_O : 's3 -> 't3

method virtual build_Or : 'u3 -> 'v3

method virtual build_Over : 'w3 -> 'x3

method virtual build_P : 'y3 -> 'z3

method virtual build_Prime : 'a4 -> Libelectrod.Elo.exp -> 'b4 -> 'c4

method virtual build_Prod : 'd4 -> 'e4

method virtual build_Quant : 'f4 ->
  Libelectrod.Elo.quant ->
  (bool * int * Libelectrod.Elo.exp) ->
  Libelectrod.Elo.fml list ->
  'g4 ->
  (bool * int * 'h4) ->
  'i4 list ->
  'j4

method virtual build_R : 'k4 -> 'l4

method virtual build_RBin : 'm4 ->
  Libelectrod.Elo.exp ->
  Libelectrod.Elo.rbinop ->
  Libelectrod.Elo.exp ->
  'n4 ->
  'o4 ->
  'p4 ->
  'q4

method virtual build_RComp : 'r4 ->
  Libelectrod.Elo.exp ->
  Libelectrod.Elo.comp_op ->
  Libelectrod.Elo.exp ->
  's4 ->
  't4 ->
  'u4 ->
  'v4

method virtual build_REq : 'w4 -> 'x4

method virtual build_RIte : 'y4 ->
  Libelectrod.Elo.fml ->
  Libelectrod.Elo.exp ->
  Libelectrod.Elo.exp ->
  'z4 ->
  'a5 ->
  'b5 ->
  'c5

method virtual build_RNEq : 'd5 -> 'e5

method virtual build_RProj : 'f5 -> 'g5

method virtual build_RTClos : 'h5 -> 'i5

method virtual build_RUn : 'j5 ->
  Libelectrod.Elo.runop ->
  Libelectrod.Elo.exp ->
  'k5 ->
  'l5 ->
  'm5

method virtual build_S : 'n5 -> 'o5

method virtual build_Some_ : 'p5 -> 'q5

method virtual build_Sub : 'r5 -> 's5

method virtual build_TClos : 't5 -> 'u5

method virtual build_Transpose : 'v5 -> 'w5

method virtual build_True : 'x5 -> 'y5

method virtual build_U : 'z5 -> 'a6

method virtual build_Union : 'b6 -> 'c6

method virtual build_Univ : 'd6 -> 'e6

method virtual build_Var : 'f6 -> int -> int -> 'g6

method virtual build_X : 'h6 -> 'i6

method virtual build_oexp : 'j6 ->
  (Libelectrod.Elo.fml, Libelectrod.Elo.exp, Libelectrod.Elo.iexp)
    Libelectrod.Elo.oexp ->
  'k6 ->
  int ->
  'l6

method visit_exp : 'm6 -> Libelectrod.Elo.exp -> 'n6

method visit_iexp : 'o6 -> Libelectrod.Elo.iexp -> 'p6

method visit_fml : 'q6 -> Libelectrod.Elo.fml -> 'r6

method visit_'exp : 's6 -> Libelectrod.Elo.exp -> 't6

method visit_'fml : 'u6 -> Libelectrod.Elo.fml -> 'v6

method visit_'iexp : 'w6 -> Libelectrod.Elo.iexp -> 'x6

method visit_True : 'y6 -> 'z6

method visit_False : 'a7 -> 'b7

method visit_RComp : 'c7 ->
  Libelectrod.Elo.exp ->
  Libelectrod.Elo.comp_op ->
  Libelectrod.Elo.exp ->
  'd7

method visit_IComp : 'e7 ->
  Libelectrod.Elo.iexp ->
  Libelectrod.Elo.icomp_op ->
  Libelectrod.Elo.iexp ->
  'f7

method visit_LUn : 'g7 -> Libelectrod.Elo.lunop -> Libelectrod.Elo.fml -> 'h7

method visit_LBin : 'i7 ->
  Libelectrod.Elo.fml ->
  Libelectrod.Elo.lbinop ->
  Libelectrod.Elo.fml ->
  'j7

method visit_Quant : 'k7 ->
  Libelectrod.Elo.quant ->
  (bool * int * Libelectrod.Elo.exp) ->
  Libelectrod.Elo.fml list ->
  'l7

method visit_FIte : 'm7 ->
  Libelectrod.Elo.fml ->
  Libelectrod.Elo.fml ->
  Libelectrod.Elo.fml ->
  'n7

method visit_Block : 'o7 -> Libelectrod.Elo.fml list -> 'p7

method visit_ofml : 'q7 ->
  (Libelectrod.Elo.fml, Libelectrod.Elo.exp, Libelectrod.Elo.iexp)
    Libelectrod.Elo.ofml ->
  'r7

method visit_All : 's7 -> 't7

method visit_Some_ : 'u7 -> 'v7

method visit_No : 'w7 -> 'x7

method visit_quant : 'y7 -> Libelectrod.Elo.quant -> 'z7

method visit_And : 'a8 -> 'b8

method visit_Or : 'c8 -> 'd8

method visit_Imp : 'e8 -> 'f8

method visit_Iff : 'g8 -> 'h8

method visit_U : 'i8 -> 'j8

method visit_R : 'k8 -> 'l8

method visit_S : 'm8 -> 'n8

method visit_lbinop : 'o8 -> Libelectrod.Elo.lbinop -> 'p8

method visit_F : 'q8 -> 'r8

method visit_G : 's8 -> 't8

method visit_Not : 'u8 -> 'v8

method visit_O : 'w8 -> 'x8

method visit_X : 'y8 -> 'z8

method visit_H : 'a9 -> 'b9

method visit_P : 'c9 -> 'd9

method visit_lunop : 'e9 -> Libelectrod.Elo.lunop -> 'f9

method visit_In : 'g9 -> 'h9

method visit_NotIn : 'i9 -> 'j9

method visit_REq : 'k9 -> 'l9

method visit_RNEq : 'm9 -> 'n9

method visit_comp_op : 'o9 -> Libelectrod.Elo.comp_op -> 'p9

method visit_IEq : 'q9 -> 'r9

method visit_INEq : 's9 -> 't9

method visit_Lt : 'u9 -> 'v9

method visit_Lte : 'w9 -> 'x9

method visit_Gt : 'y9 -> 'z9

method visit_Gte : 'a10 -> 'b10

method visit_icomp_op : 'c10 -> Libelectrod.Elo.icomp_op -> 'd10

method visit_oexp : 'e10 ->
  (Libelectrod.Elo.fml, Libelectrod.Elo.exp, Libelectrod.Elo.iexp)
    Libelectrod.Elo.oexp ->
  'f10

method visit_None_ : 'g10 -> 'h10

method visit_Univ : 'i10 -> 'j10

method visit_Iden : 'k10 -> 'l10

method visit_Var : 'm10 -> int -> 'n10

method visit_Name : 'o10 -> Libelectrod.Name.t -> 'p10

method visit_RUn : 'q10 -> Libelectrod.Elo.runop -> Libelectrod.Elo.exp -> 'r10

method visit_RBin : 's10 ->
  Libelectrod.Elo.exp ->
  Libelectrod.Elo.rbinop ->
  Libelectrod.Elo.exp ->
  't10

method visit_RIte : 'u10 ->
  Libelectrod.Elo.fml ->
  Libelectrod.Elo.exp ->
  Libelectrod.Elo.exp ->
  'v10

method visit_Compr : 'w10 ->
  (bool * int * Libelectrod.Elo.exp) list ->
  Libelectrod.Elo.fml list ->
  'x10

method visit_Prime : 'y10 -> Libelectrod.Elo.exp -> 'z10

method visit_prim_oexp : 'a11 ->
  (Libelectrod.Elo.fml, Libelectrod.Elo.exp, Libelectrod.Elo.iexp)
    Libelectrod.Elo.prim_oexp ->
  'b11

method visit_Transpose : 'c11 -> 'd11

method visit_TClos : 'e11 -> 'f11

method visit_RTClos : 'g11 -> 'h11

method visit_runop : 'i11 -> Libelectrod.Elo.runop -> 'j11

method visit_Union : 'k11 -> 'l11

method visit_Inter : 'm11 -> 'n11

method visit_Over : 'o11 -> 'p11

method visit_LProj : 'q11 -> 'r11

method visit_RProj : 's11 -> 't11

method visit_Prod : 'u11 -> 'v11

method visit_Diff : 'w11 -> 'x11

method visit_Join : 'y11 -> 'z11

method visit_rbinop : 'a12 -> Libelectrod.Elo.rbinop -> 'b12

method visit_Num : 'c12 -> int -> 'd12

method visit_Card : 'e12 -> Libelectrod.Elo.exp -> 'f12

method visit_IUn : 'g12 ->
  Libelectrod.Elo.iunop ->
  Libelectrod.Elo.iexp ->
  'h12

method visit_IBin : 'i12 ->
  Libelectrod.Elo.iexp ->
  Libelectrod.Elo.ibinop ->
  Libelectrod.Elo.iexp ->
  'j12

method visit_oiexp : 'k12 ->
  (Libelectrod.Elo.fml, Libelectrod.Elo.exp, Libelectrod.Elo.iexp)
    Libelectrod.Elo.oiexp ->
  'l12

method visit_Neg : 'm12 -> 'n12

method visit_iunop : 'o12 -> Libelectrod.Elo.iunop -> 'p12

method visit_Add : 'q12 -> 'r12

method visit_Sub : 's12 -> 't12

method visit_ibinop : 'u12 -> Libelectrod.Elo.ibinop -> 'v12

package electrod