electrod

Formal analysis for the Electrod formal pivot language
IN THIS PACKAGE
constraint 'b recursor = 'b recursor
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_T : 't5 -> 'u5
method virtual build_TClos : 'v5 -> 'w5
method virtual build_Transpose : 'x5 -> 'y5
method virtual build_True : 'z5 -> 'a6
method virtual build_U : 'b6 -> 'c6
method virtual build_Union : 'd6 -> 'e6
method virtual build_Univ : 'f6 -> 'g6
method virtual build_Var : 'h6 -> int -> int -> 'i6
method virtual build_X : 'j6 -> 'k6
method virtual build_oexp : 'l6 -> ( Libelectrod.Elo.fml, Libelectrod.Elo.exp, Libelectrod.Elo.iexp ) Libelectrod.Elo.oexp -> 'm6 -> int -> 'n6
method visit_exp : 'b -> 'o6 -> Libelectrod.Elo.exp -> 'p6
method visit_iexp : 'b -> 'q6 -> Libelectrod.Elo.iexp -> 'r6
method visit_fml : 'b -> 's6 -> Libelectrod.Elo.fml -> 't6
method visit_'exp : 'b -> 'u6 -> Libelectrod.Elo.exp -> 'v6
method visit_'fml : 'b -> 'w6 -> Libelectrod.Elo.fml -> 'x6
method visit_'iexp : 'b -> 'y6 -> Libelectrod.Elo.iexp -> 'z6
method visit_True : 'b -> 'a7 -> 'b7
method visit_False : 'b -> 'c7 -> 'd7
method visit_RComp : 'b -> 'e7 -> Libelectrod.Elo.exp -> Libelectrod.Elo.comp_op -> Libelectrod.Elo.exp -> 'f7
method visit_IComp : 'b -> 'g7 -> Libelectrod.Elo.iexp -> Libelectrod.Elo.icomp_op -> Libelectrod.Elo.iexp -> 'h7
method visit_LUn : 'b -> 'i7 -> Libelectrod.Elo.lunop -> Libelectrod.Elo.fml -> 'j7
method visit_LBin : 'b -> 'k7 -> Libelectrod.Elo.fml -> Libelectrod.Elo.lbinop -> Libelectrod.Elo.fml -> 'l7
method visit_Quant : 'b -> 'm7 -> Libelectrod.Elo.quant -> (bool * int * Libelectrod.Elo.exp) -> Libelectrod.Elo.fml list -> 'n7
method visit_FIte : 'b -> 'o7 -> Libelectrod.Elo.fml -> Libelectrod.Elo.fml -> Libelectrod.Elo.fml -> 'p7
method visit_Block : 'b -> 'q7 -> Libelectrod.Elo.fml list -> 'r7
method visit_All : 'b -> 'u7 -> 'v7
method visit_Some_ : 'b -> 'w7 -> 'x7
method visit_No : 'b -> 'y7 -> 'z7
method visit_quant : 'b -> 'a8 -> Libelectrod.Elo.quant -> 'b8
method visit_And : 'b -> 'c8 -> 'd8
method visit_Or : 'b -> 'e8 -> 'f8
method visit_Imp : 'b -> 'g8 -> 'h8
method visit_Iff : 'b -> 'i8 -> 'j8
method visit_U : 'b -> 'k8 -> 'l8
method visit_R : 'b -> 'm8 -> 'n8
method visit_S : 'b -> 'o8 -> 'p8
method visit_T : 'b -> 'q8 -> 'r8
method visit_lbinop : 'b -> 's8 -> Libelectrod.Elo.lbinop -> 't8
method visit_F : 'b -> 'u8 -> 'v8
method visit_G : 'b -> 'w8 -> 'x8
method visit_Not : 'b -> 'y8 -> 'z8
method visit_O : 'b -> 'a9 -> 'b9
method visit_X : 'b -> 'c9 -> 'd9
method visit_H : 'b -> 'e9 -> 'f9
method visit_P : 'b -> 'g9 -> 'h9
method visit_lunop : 'b -> 'i9 -> Libelectrod.Elo.lunop -> 'j9
method visit_In : 'b -> 'k9 -> 'l9
method visit_NotIn : 'b -> 'm9 -> 'n9
method visit_REq : 'b -> 'o9 -> 'p9
method visit_RNEq : 'b -> 'q9 -> 'r9
method visit_comp_op : 'b -> 's9 -> Libelectrod.Elo.comp_op -> 't9
method visit_IEq : 'b -> 'u9 -> 'v9
method visit_INEq : 'b -> 'w9 -> 'x9
method visit_Lt : 'b -> 'y9 -> 'z9
method visit_Lte : 'b -> 'a10 -> 'b10
method visit_Gt : 'b -> 'c10 -> 'd10
method visit_Gte : 'b -> 'e10 -> 'f10
method visit_icomp_op : 'b -> 'g10 -> Libelectrod.Elo.icomp_op -> 'h10
method visit_None_ : 'b -> 'k10 -> 'l10
method visit_Univ : 'b -> 'm10 -> 'n10
method visit_Iden : 'b -> 'o10 -> 'p10
method visit_Var : 'b -> 'q10 -> int -> 'r10
method visit_Name : 'b -> 's10 -> Libelectrod.Name.t -> 't10
method visit_RUn : 'b -> 'u10 -> Libelectrod.Elo.runop -> Libelectrod.Elo.exp -> 'v10
method visit_RBin : 'b -> 'w10 -> Libelectrod.Elo.exp -> Libelectrod.Elo.rbinop -> Libelectrod.Elo.exp -> 'x10
method visit_RIte : 'b -> 'y10 -> Libelectrod.Elo.fml -> Libelectrod.Elo.exp -> Libelectrod.Elo.exp -> 'z10
method visit_Compr : 'b -> 'a11 -> (bool * int * Libelectrod.Elo.exp) list -> Libelectrod.Elo.fml list -> 'b11
method visit_Prime : 'b -> 'c11 -> Libelectrod.Elo.exp -> 'd11
method visit_prim_oexp : 'b -> 'e11 -> ( Libelectrod.Elo.fml, Libelectrod.Elo.exp, Libelectrod.Elo.iexp ) Libelectrod.Elo.prim_oexp -> 'f11
method visit_Transpose : 'b -> 'g11 -> 'h11
method visit_TClos : 'b -> 'i11 -> 'j11
method visit_RTClos : 'b -> 'k11 -> 'l11
method visit_runop : 'b -> 'm11 -> Libelectrod.Elo.runop -> 'n11
method visit_Union : 'b -> 'o11 -> 'p11
method visit_Inter : 'b -> 'q11 -> 'r11
method visit_Over : 'b -> 's11 -> 't11
method visit_LProj : 'b -> 'u11 -> 'v11
method visit_RProj : 'b -> 'w11 -> 'x11
method visit_Prod : 'b -> 'y11 -> 'z11
method visit_Diff : 'b -> 'a12 -> 'b12
method visit_Join : 'b -> 'c12 -> 'd12
method visit_rbinop : 'b -> 'e12 -> Libelectrod.Elo.rbinop -> 'f12
method visit_Num : 'b -> 'g12 -> int -> 'h12
method visit_Card : 'b -> 'i12 -> Libelectrod.Elo.exp -> 'j12
method visit_IUn : 'b -> 'k12 -> Libelectrod.Elo.iunop -> Libelectrod.Elo.iexp -> 'l12
method visit_IBin : 'b -> 'm12 -> Libelectrod.Elo.iexp -> Libelectrod.Elo.ibinop -> Libelectrod.Elo.iexp -> 'n12
method visit_Neg : 'b -> 'q12 -> 'r12
method visit_iunop : 'b -> 's12 -> Libelectrod.Elo.iunop -> 't12
method visit_Add : 'b -> 'u12 -> 'v12
method visit_Sub : 'b -> 'w12 -> 'x12
method visit_ibinop : 'b -> 'y12 -> Libelectrod.Elo.ibinop -> 'z12