package electrod

  1. Overview
  2. Docs
constraint < build_Add : 'd -> 'g ; build_All : 'd -> 'h ; build_And : 'd -> 'i ; build_Block : 'd -> 'j list -> 'j ; build_Card : 'd -> Libelectrod.Elo.exp -> 'k -> 'l ; build_Compr : 'd -> (bool * int * Libelectrod.Elo.exp) list -> Libelectrod.Elo.fml list -> (bool * int * 'k) list -> 'j list -> 'm ; build_Diff : 'd -> 'n ; build_F : 'd -> 'o ; build_FIte : 'd -> Libelectrod.Elo.fml -> Libelectrod.Elo.fml -> Libelectrod.Elo.fml -> 'j -> 'j -> 'j -> 'j ; build_False : 'd -> 'j ; build_G : 'd -> 'o ; build_Gt : 'd -> 'p ; build_Gte : 'd -> 'p ; build_H : 'd -> 'o ; build_IBin : 'd -> Libelectrod.Elo.iexp -> Libelectrod.Elo.ibinop -> Libelectrod.Elo.iexp -> 'l -> 'g -> 'l -> 'l ; build_IComp : 'd -> Libelectrod.Elo.iexp -> Libelectrod.Elo.icomp_op -> Libelectrod.Elo.iexp -> 'l -> 'p -> 'l -> 'j ; build_IEq : 'd -> 'p ; build_INEq : 'd -> 'p ; build_IUn : 'd -> Libelectrod.Elo.iunop -> Libelectrod.Elo.iexp -> 'q -> 'l -> 'l ; build_Iden : 'd -> 'm ; build_Iff : 'd -> 'i ; build_Imp : 'd -> 'i ; build_In : 'd -> 'r ; build_Inter : 'd -> 'n ; build_Join : 'd -> 'n ; build_LBin : 'd -> Libelectrod.Elo.fml -> Libelectrod.Elo.lbinop -> Libelectrod.Elo.fml -> 'j -> 'i -> 'j -> 'j ; build_LProj : 'd -> 'n ; build_LUn : 'd -> Libelectrod.Elo.lunop -> Libelectrod.Elo.fml -> 'o -> 'j -> 'j ; build_Lt : 'd -> 'p ; build_Lte : 'd -> 'p ; build_Name : 'd -> Libelectrod.Name.t -> Libelectrod.Name.t -> 'm ; build_Neg : 'd -> 'q ; build_No : 'd -> 'h ; build_None_ : 'd -> 'm ; build_Not : 'd -> 'o ; build_NotIn : 'd -> 'r ; build_Num : 'd -> int -> int -> 'l ; build_O : 'd -> 'o ; build_Or : 'd -> 'i ; build_Over : 'd -> 'n ; build_P : 'd -> 'o ; build_Prime : 'd -> Libelectrod.Elo.exp -> 'k -> 'm ; build_Prod : 'd -> 'n ; build_Quant : 'd -> Libelectrod.Elo.quant -> (bool * int * Libelectrod.Elo.exp) -> Libelectrod.Elo.fml list -> 'h -> (bool * int * 'k) -> 'j list -> 'j ; build_R : 'd -> 'i ; build_RBin : 'd -> Libelectrod.Elo.exp -> Libelectrod.Elo.rbinop -> Libelectrod.Elo.exp -> 'k -> 'n -> 'k -> 'm ; build_RComp : 'd -> Libelectrod.Elo.exp -> Libelectrod.Elo.comp_op -> Libelectrod.Elo.exp -> 'k -> 'r -> 'k -> 'j ; build_REq : 'd -> 'r ; build_RIte : 'd -> Libelectrod.Elo.fml -> Libelectrod.Elo.exp -> Libelectrod.Elo.exp -> 'j -> 'k -> 'k -> 'm ; build_RNEq : 'd -> 'r ; build_RProj : 'd -> 'n ; build_RTClos : 'd -> 's ; build_RUn : 'd -> Libelectrod.Elo.runop -> Libelectrod.Elo.exp -> 's -> 'k -> 'm ; build_S : 'd -> 'i ; build_Some_ : 'd -> 'h ; build_Sub : 'd -> 'g ; build_TClos : 'd -> 's ; build_Transpose : 'd -> 's ; build_True : 'd -> 'j ; build_U : 'd -> 'i ; build_Union : 'd -> 'n ; build_Univ : 'd -> 'm ; build_Var : 'd -> int -> int -> 'm ; build_X : 'd -> 'o ; build_oexp : 'd -> (Libelectrod.Elo.fml, Libelectrod.Elo.exp, Libelectrod.Elo.iexp) Libelectrod.Elo.oexp -> 'm -> int -> 'k ; visit_'exp : 'd -> Libelectrod.Elo.exp -> 'k ; visit_'fml : 'd -> Libelectrod.Elo.fml -> 'j ; visit_'iexp : 'd -> Libelectrod.Elo.iexp -> 'l ; visit_Add : 'd -> 'g ; visit_All : 'd -> 'h ; visit_And : 'd -> 'i ; visit_Block : 'd -> Libelectrod.Elo.fml list -> 'j ; visit_Card : 'd -> Libelectrod.Elo.exp -> 'l ; visit_Compr : 'd -> (bool * int * Libelectrod.Elo.exp) list -> Libelectrod.Elo.fml list -> 'm ; visit_Diff : 'd -> 'n ; visit_F : 'd -> 'o ; visit_FIte : 'd -> Libelectrod.Elo.fml -> Libelectrod.Elo.fml -> Libelectrod.Elo.fml -> 'j ; visit_False : 'd -> 'j ; visit_G : 'd -> 'o ; visit_Gt : 'd -> 'p ; visit_Gte : 'd -> 'p ; visit_H : 'd -> 'o ; visit_IBin : 'd -> Libelectrod.Elo.iexp -> Libelectrod.Elo.ibinop -> Libelectrod.Elo.iexp -> 'l ; visit_IComp : 'd -> Libelectrod.Elo.iexp -> Libelectrod.Elo.icomp_op -> Libelectrod.Elo.iexp -> 'j ; visit_IEq : 'd -> 'p ; visit_INEq : 'd -> 'p ; visit_IUn : 'd -> Libelectrod.Elo.iunop -> Libelectrod.Elo.iexp -> 'l ; visit_Iden : 'd -> 'm ; visit_Iff : 'd -> 'i ; visit_Imp : 'd -> 'i ; visit_In : 'd -> 'r ; visit_Inter : 'd -> 'n ; visit_Join : 'd -> 'n ; visit_LBin : 'd -> Libelectrod.Elo.fml -> Libelectrod.Elo.lbinop -> Libelectrod.Elo.fml -> 'j ; visit_LProj : 'd -> 'n ; visit_LUn : 'd -> Libelectrod.Elo.lunop -> Libelectrod.Elo.fml -> 'j ; visit_Lt : 'd -> 'p ; visit_Lte : 'd -> 'p ; visit_Name : 'd -> Libelectrod.Name.t -> 'm ; visit_Neg : 'd -> 'q ; visit_No : 'd -> 'h ; visit_None_ : 'd -> 'm ; visit_Not : 'd -> 'o ; visit_NotIn : 'd -> 'r ; visit_Num : 'd -> int -> 'l ; visit_O : 'd -> 'o ; visit_Or : 'd -> 'i ; visit_Over : 'd -> 'n ; visit_P : 'd -> 'o ; visit_Prime : 'd -> Libelectrod.Elo.exp -> 'm ; visit_Prod : 'd -> 'n ; visit_Quant : 'd -> Libelectrod.Elo.quant -> (bool * int * Libelectrod.Elo.exp) -> Libelectrod.Elo.fml list -> 'j ; visit_R : 'd -> 'i ; visit_RBin : 'd -> Libelectrod.Elo.exp -> Libelectrod.Elo.rbinop -> Libelectrod.Elo.exp -> 'm ; visit_RComp : 'd -> Libelectrod.Elo.exp -> Libelectrod.Elo.comp_op -> Libelectrod.Elo.exp -> 'j ; visit_REq : 'd -> 'r ; visit_RIte : 'd -> Libelectrod.Elo.fml -> Libelectrod.Elo.exp -> Libelectrod.Elo.exp -> 'm ; visit_RNEq : 'd -> 'r ; visit_RProj : 'd -> 'n ; visit_RTClos : 'd -> 's ; visit_RUn : 'd -> Libelectrod.Elo.runop -> Libelectrod.Elo.exp -> 'm ; visit_S : 'd -> 'i ; visit_Some_ : 'd -> 'h ; visit_Sub : 'd -> 'g ; visit_TClos : 'd -> 's ; visit_Transpose : 'd -> 's ; visit_True : 'd -> 'j ; visit_U : 'd -> 'i ; visit_Union : 'd -> 'n ; visit_Univ : 'd -> 'm ; visit_Var : 'd -> int -> 'm ; visit_X : 'd -> 'o ; visit_comp_op : 'd -> Libelectrod.Elo.comp_op -> 'r ; visit_exp : 'd -> Libelectrod.Elo.exp -> 'k ; visit_fml : 'd -> Libelectrod.Elo.fml -> 'j ; visit_ibinop : 'd -> Libelectrod.Elo.ibinop -> 'g ; visit_icomp_op : 'd -> Libelectrod.Elo.icomp_op -> 'p ; visit_iexp : 'd -> Libelectrod.Elo.iexp -> 'l ; visit_iunop : 'd -> Libelectrod.Elo.iunop -> 'q ; visit_lbinop : 'd -> Libelectrod.Elo.lbinop -> 'i ; visit_lunop : 'd -> Libelectrod.Elo.lunop -> 'o ; visit_oexp : 'd -> (Libelectrod.Elo.fml, Libelectrod.Elo.exp, Libelectrod.Elo.iexp) Libelectrod.Elo.oexp -> 'k ; visit_ofml : 'd -> (Libelectrod.Elo.fml, Libelectrod.Elo.exp, Libelectrod.Elo.iexp) Libelectrod.Elo.ofml -> 'j ; visit_oiexp : 'd -> (Libelectrod.Elo.fml, Libelectrod.Elo.exp, Libelectrod.Elo.iexp) Libelectrod.Elo.oiexp -> 'l ; visit_prim_oexp : 'd -> (Libelectrod.Elo.fml, Libelectrod.Elo.exp, Libelectrod.Elo.iexp) Libelectrod.Elo.prim_oexp -> 'm ; visit_quant : 'd -> Libelectrod.Elo.quant -> 'h ; visit_rbinop : 'd -> Libelectrod.Elo.rbinop -> 'n ; visit_runop : 'd -> Libelectrod.Elo.runop -> 's.. > = < build_Add : 'd -> 'g ; build_All : 'd -> 'h ; build_And : 'd -> 'i ; build_Block : 'd -> 'j list -> 'j ; build_Card : 'd -> Libelectrod.Elo.exp -> 'k -> 'l ; build_Compr : 'd -> (bool * int * Libelectrod.Elo.exp) list -> Libelectrod.Elo.fml list -> (bool * int * 'k) list -> 'j list -> 'm ; build_Diff : 'd -> 'n ; build_F : 'd -> 'o ; build_FIte : 'd -> Libelectrod.Elo.fml -> Libelectrod.Elo.fml -> Libelectrod.Elo.fml -> 'j -> 'j -> 'j -> 'j ; build_False : 'd -> 'j ; build_G : 'd -> 'o ; build_Gt : 'd -> 'p ; build_Gte : 'd -> 'p ; build_H : 'd -> 'o ; build_IBin : 'd -> Libelectrod.Elo.iexp -> Libelectrod.Elo.ibinop -> Libelectrod.Elo.iexp -> 'l -> 'g -> 'l -> 'l ; build_IComp : 'd -> Libelectrod.Elo.iexp -> Libelectrod.Elo.icomp_op -> Libelectrod.Elo.iexp -> 'l -> 'p -> 'l -> 'j ; build_IEq : 'd -> 'p ; build_INEq : 'd -> 'p ; build_IUn : 'd -> Libelectrod.Elo.iunop -> Libelectrod.Elo.iexp -> 'q -> 'l -> 'l ; build_Iden : 'd -> 'm ; build_Iff : 'd -> 'i ; build_Imp : 'd -> 'i ; build_In : 'd -> 'r ; build_Inter : 'd -> 'n ; build_Join : 'd -> 'n ; build_LBin : 'd -> Libelectrod.Elo.fml -> Libelectrod.Elo.lbinop -> Libelectrod.Elo.fml -> 'j -> 'i -> 'j -> 'j ; build_LProj : 'd -> 'n ; build_LUn : 'd -> Libelectrod.Elo.lunop -> Libelectrod.Elo.fml -> 'o -> 'j -> 'j ; build_Lt : 'd -> 'p ; build_Lte : 'd -> 'p ; build_Name : 'd -> Libelectrod.Name.t -> Libelectrod.Name.t -> 'm ; build_Neg : 'd -> 'q ; build_No : 'd -> 'h ; build_None_ : 'd -> 'm ; build_Not : 'd -> 'o ; build_NotIn : 'd -> 'r ; build_Num : 'd -> int -> int -> 'l ; build_O : 'd -> 'o ; build_Or : 'd -> 'i ; build_Over : 'd -> 'n ; build_P : 'd -> 'o ; build_Prime : 'd -> Libelectrod.Elo.exp -> 'k -> 'm ; build_Prod : 'd -> 'n ; build_Quant : 'd -> Libelectrod.Elo.quant -> (bool * int * Libelectrod.Elo.exp) -> Libelectrod.Elo.fml list -> 'h -> (bool * int * 'k) -> 'j list -> 'j ; build_R : 'd -> 'i ; build_RBin : 'd -> Libelectrod.Elo.exp -> Libelectrod.Elo.rbinop -> Libelectrod.Elo.exp -> 'k -> 'n -> 'k -> 'm ; build_RComp : 'd -> Libelectrod.Elo.exp -> Libelectrod.Elo.comp_op -> Libelectrod.Elo.exp -> 'k -> 'r -> 'k -> 'j ; build_REq : 'd -> 'r ; build_RIte : 'd -> Libelectrod.Elo.fml -> Libelectrod.Elo.exp -> Libelectrod.Elo.exp -> 'j -> 'k -> 'k -> 'm ; build_RNEq : 'd -> 'r ; build_RProj : 'd -> 'n ; build_RTClos : 'd -> 's ; build_RUn : 'd -> Libelectrod.Elo.runop -> Libelectrod.Elo.exp -> 's -> 'k -> 'm ; build_S : 'd -> 'i ; build_Some_ : 'd -> 'h ; build_Sub : 'd -> 'g ; build_TClos : 'd -> 's ; build_Transpose : 'd -> 's ; build_True : 'd -> 'j ; build_U : 'd -> 'i ; build_Union : 'd -> 'n ; build_Univ : 'd -> 'm ; build_Var : 'd -> int -> int -> 'm ; build_X : 'd -> 'o ; build_oexp : 'd -> (Libelectrod.Elo.fml, Libelectrod.Elo.exp, Libelectrod.Elo.iexp) Libelectrod.Elo.oexp -> 'm -> int -> 'k ; visit_'exp : 'd -> Libelectrod.Elo.exp -> 'k ; visit_'fml : 'd -> Libelectrod.Elo.fml -> 'j ; visit_'iexp : 'd -> Libelectrod.Elo.iexp -> 'l ; visit_Add : 'd -> 'g ; visit_All : 'd -> 'h ; visit_And : 'd -> 'i ; visit_Block : 'd -> Libelectrod.Elo.fml list -> 'j ; visit_Card : 'd -> Libelectrod.Elo.exp -> 'l ; visit_Compr : 'd -> (bool * int * Libelectrod.Elo.exp) list -> Libelectrod.Elo.fml list -> 'm ; visit_Diff : 'd -> 'n ; visit_F : 'd -> 'o ; visit_FIte : 'd -> Libelectrod.Elo.fml -> Libelectrod.Elo.fml -> Libelectrod.Elo.fml -> 'j ; visit_False : 'd -> 'j ; visit_G : 'd -> 'o ; visit_Gt : 'd -> 'p ; visit_Gte : 'd -> 'p ; visit_H : 'd -> 'o ; visit_IBin : 'd -> Libelectrod.Elo.iexp -> Libelectrod.Elo.ibinop -> Libelectrod.Elo.iexp -> 'l ; visit_IComp : 'd -> Libelectrod.Elo.iexp -> Libelectrod.Elo.icomp_op -> Libelectrod.Elo.iexp -> 'j ; visit_IEq : 'd -> 'p ; visit_INEq : 'd -> 'p ; visit_IUn : 'd -> Libelectrod.Elo.iunop -> Libelectrod.Elo.iexp -> 'l ; visit_Iden : 'd -> 'm ; visit_Iff : 'd -> 'i ; visit_Imp : 'd -> 'i ; visit_In : 'd -> 'r ; visit_Inter : 'd -> 'n ; visit_Join : 'd -> 'n ; visit_LBin : 'd -> Libelectrod.Elo.fml -> Libelectrod.Elo.lbinop -> Libelectrod.Elo.fml -> 'j ; visit_LProj : 'd -> 'n ; visit_LUn : 'd -> Libelectrod.Elo.lunop -> Libelectrod.Elo.fml -> 'j ; visit_Lt : 'd -> 'p ; visit_Lte : 'd -> 'p ; visit_Name : 'd -> Libelectrod.Name.t -> 'm ; visit_Neg : 'd -> 'q ; visit_No : 'd -> 'h ; visit_None_ : 'd -> 'm ; visit_Not : 'd -> 'o ; visit_NotIn : 'd -> 'r ; visit_Num : 'd -> int -> 'l ; visit_O : 'd -> 'o ; visit_Or : 'd -> 'i ; visit_Over : 'd -> 'n ; visit_P : 'd -> 'o ; visit_Prime : 'd -> Libelectrod.Elo.exp -> 'm ; visit_Prod : 'd -> 'n ; visit_Quant : 'd -> Libelectrod.Elo.quant -> (bool * int * Libelectrod.Elo.exp) -> Libelectrod.Elo.fml list -> 'j ; visit_R : 'd -> 'i ; visit_RBin : 'd -> Libelectrod.Elo.exp -> Libelectrod.Elo.rbinop -> Libelectrod.Elo.exp -> 'm ; visit_RComp : 'd -> Libelectrod.Elo.exp -> Libelectrod.Elo.comp_op -> Libelectrod.Elo.exp -> 'j ; visit_REq : 'd -> 'r ; visit_RIte : 'd -> Libelectrod.Elo.fml -> Libelectrod.Elo.exp -> Libelectrod.Elo.exp -> 'm ; visit_RNEq : 'd -> 'r ; visit_RProj : 'd -> 'n ; visit_RTClos : 'd -> 's ; visit_RUn : 'd -> Libelectrod.Elo.runop -> Libelectrod.Elo.exp -> 'm ; visit_S : 'd -> 'i ; visit_Some_ : 'd -> 'h ; visit_Sub : 'd -> 'g ; visit_TClos : 'd -> 's ; visit_Transpose : 'd -> 's ; visit_True : 'd -> 'j ; visit_U : 'd -> 'i ; visit_Union : 'd -> 'n ; visit_Univ : 'd -> 'm ; visit_Var : 'd -> int -> 'm ; visit_X : 'd -> 'o ; visit_comp_op : 'd -> Libelectrod.Elo.comp_op -> 'r ; visit_exp : 'd -> Libelectrod.Elo.exp -> 'k ; visit_fml : 'd -> Libelectrod.Elo.fml -> 'j ; visit_ibinop : 'd -> Libelectrod.Elo.ibinop -> 'g ; visit_icomp_op : 'd -> Libelectrod.Elo.icomp_op -> 'p ; visit_iexp : 'd -> Libelectrod.Elo.iexp -> 'l ; visit_iunop : 'd -> Libelectrod.Elo.iunop -> 'q ; visit_lbinop : 'd -> Libelectrod.Elo.lbinop -> 'i ; visit_lunop : 'd -> Libelectrod.Elo.lunop -> 'o ; visit_oexp : 'd -> (Libelectrod.Elo.fml, Libelectrod.Elo.exp, Libelectrod.Elo.iexp) Libelectrod.Elo.oexp -> 'k ; visit_ofml : 'd -> (Libelectrod.Elo.fml, Libelectrod.Elo.exp, Libelectrod.Elo.iexp) Libelectrod.Elo.ofml -> 'j ; visit_oiexp : 'd -> (Libelectrod.Elo.fml, Libelectrod.Elo.exp, Libelectrod.Elo.iexp) Libelectrod.Elo.oiexp -> 'l ; visit_prim_oexp : 'd -> (Libelectrod.Elo.fml, Libelectrod.Elo.exp, Libelectrod.Elo.iexp) Libelectrod.Elo.prim_oexp -> 'm ; visit_quant : 'd -> Libelectrod.Elo.quant -> 'h ; visit_rbinop : 'd -> Libelectrod.Elo.rbinop -> 'n ; visit_runop : 'd -> Libelectrod.Elo.runop -> 's.. >
method virtual build_Add : 'd -> 'g
method virtual build_All : 'd -> 'h
method virtual build_And : 'd -> 'i
method virtual build_Block : 'd -> 'j list -> 'j
method virtual build_Card : 'd -> Libelectrod.Elo.exp -> 'k -> 'l
method virtual build_Compr : 'd -> (bool * int * Libelectrod.Elo.exp) list -> Libelectrod.Elo.fml list -> (bool * int * 'k) list -> 'j list -> 'm
method virtual build_Diff : 'd -> 'n
method virtual build_F : 'd -> 'o
method virtual build_FIte : 'd -> Libelectrod.Elo.fml -> Libelectrod.Elo.fml -> Libelectrod.Elo.fml -> 'j -> 'j -> 'j -> 'j
method virtual build_False : 'd -> 'j
method virtual build_G : 'd -> 'o
method virtual build_Gt : 'd -> 'p
method virtual build_Gte : 'd -> 'p
method virtual build_H : 'd -> 'o
method virtual build_IBin : 'd -> Libelectrod.Elo.iexp -> Libelectrod.Elo.ibinop -> Libelectrod.Elo.iexp -> 'l -> 'g -> 'l -> 'l
method virtual build_IComp : 'd -> Libelectrod.Elo.iexp -> Libelectrod.Elo.icomp_op -> Libelectrod.Elo.iexp -> 'l -> 'p -> 'l -> 'j
method virtual build_IEq : 'd -> 'p
method virtual build_INEq : 'd -> 'p
method virtual build_IUn : 'd -> Libelectrod.Elo.iunop -> Libelectrod.Elo.iexp -> 'q -> 'l -> 'l
method virtual build_Iden : 'd -> 'm
method virtual build_Iff : 'd -> 'i
method virtual build_Imp : 'd -> 'i
method virtual build_In : 'd -> 'r
method virtual build_Inter : 'd -> 'n
method virtual build_Join : 'd -> 'n
method virtual build_LBin : 'd -> Libelectrod.Elo.fml -> Libelectrod.Elo.lbinop -> Libelectrod.Elo.fml -> 'j -> 'i -> 'j -> 'j
method virtual build_LProj : 'd -> 'n
method virtual build_LUn : 'd -> Libelectrod.Elo.lunop -> Libelectrod.Elo.fml -> 'o -> 'j -> 'j
method virtual build_Lt : 'd -> 'p
method virtual build_Lte : 'd -> 'p
method virtual build_Name : 'd -> Libelectrod.Name.t -> Libelectrod.Name.t -> 'm
method virtual build_Neg : 'd -> 'q
method virtual build_No : 'd -> 'h
method virtual build_None_ : 'd -> 'm
method virtual build_Not : 'd -> 'o
method virtual build_NotIn : 'd -> 'r
method virtual build_Num : 'd -> int -> int -> 'l
method virtual build_O : 'd -> 'o
method virtual build_Or : 'd -> 'i
method virtual build_Over : 'd -> 'n
method virtual build_P : 'd -> 'o
method virtual build_Prime : 'd -> Libelectrod.Elo.exp -> 'k -> 'm
method virtual build_Prod : 'd -> 'n
method virtual build_Quant : 'd -> Libelectrod.Elo.quant -> (bool * int * Libelectrod.Elo.exp) -> Libelectrod.Elo.fml list -> 'h -> (bool * int * 'k) -> 'j list -> 'j
method virtual build_R : 'd -> 'i
method virtual build_RBin : 'd -> Libelectrod.Elo.exp -> Libelectrod.Elo.rbinop -> Libelectrod.Elo.exp -> 'k -> 'n -> 'k -> 'm
method virtual build_RComp : 'd -> Libelectrod.Elo.exp -> Libelectrod.Elo.comp_op -> Libelectrod.Elo.exp -> 'k -> 'r -> 'k -> 'j
method virtual build_REq : 'd -> 'r
method virtual build_RIte : 'd -> Libelectrod.Elo.fml -> Libelectrod.Elo.exp -> Libelectrod.Elo.exp -> 'j -> 'k -> 'k -> 'm
method virtual build_RNEq : 'd -> 'r
method virtual build_RProj : 'd -> 'n
method virtual build_RTClos : 'd -> 's
method virtual build_RUn : 'd -> Libelectrod.Elo.runop -> Libelectrod.Elo.exp -> 's -> 'k -> 'm
method virtual build_S : 'd -> 'i
method virtual build_Some_ : 'd -> 'h
method virtual build_Sub : 'd -> 'g
method virtual build_TClos : 'd -> 's
method virtual build_Transpose : 'd -> 's
method virtual build_True : 'd -> 'j
method virtual build_U : 'd -> 'i
method virtual build_Union : 'd -> 'n
method virtual build_Univ : 'd -> 'm
method virtual build_Var : 'd -> int -> int -> 'm
method virtual build_X : 'd -> 'o
method virtual build_oexp : 'd -> (Libelectrod.Elo.fml, Libelectrod.Elo.exp, Libelectrod.Elo.iexp) Libelectrod.Elo.oexp -> 'm -> int -> 'k
method visit_exp : 'd -> Libelectrod.Elo.exp -> 'k
method visit_iexp : 'd -> Libelectrod.Elo.iexp -> 'l
method visit_fml : 'd -> Libelectrod.Elo.fml -> 'j
method visit_'exp : 'd -> Libelectrod.Elo.exp -> 'k
method visit_'fml : 'd -> Libelectrod.Elo.fml -> 'j
method visit_'iexp : 'd -> Libelectrod.Elo.iexp -> 'l
method visit_True : 'd -> 'j
method visit_False : 'd -> 'j
method visit_RComp : 'd -> Libelectrod.Elo.exp -> Libelectrod.Elo.comp_op -> Libelectrod.Elo.exp -> 'j
method visit_LUn : 'd -> Libelectrod.Elo.lunop -> Libelectrod.Elo.fml -> 'j
method visit_LBin : 'd -> Libelectrod.Elo.fml -> Libelectrod.Elo.lbinop -> Libelectrod.Elo.fml -> 'j
method visit_Quant : 'd -> Libelectrod.Elo.quant -> (bool * int * Libelectrod.Elo.exp) -> Libelectrod.Elo.fml list -> 'j
method visit_FIte : 'd -> Libelectrod.Elo.fml -> Libelectrod.Elo.fml -> Libelectrod.Elo.fml -> 'j
method visit_Block : 'd -> Libelectrod.Elo.fml list -> 'j
method visit_All : 'd -> 'h
method visit_Some_ : 'd -> 'h
method visit_No : 'd -> 'h
method visit_quant : 'd -> Libelectrod.Elo.quant -> 'h
method visit_And : 'd -> 'i
method visit_Or : 'd -> 'i
method visit_Imp : 'd -> 'i
method visit_Iff : 'd -> 'i
method visit_U : 'd -> 'i
method visit_R : 'd -> 'i
method visit_S : 'd -> 'i
method visit_lbinop : 'd -> Libelectrod.Elo.lbinop -> 'i
method visit_F : 'd -> 'o
method visit_G : 'd -> 'o
method visit_Not : 'd -> 'o
method visit_O : 'd -> 'o
method visit_X : 'd -> 'o
method visit_H : 'd -> 'o
method visit_P : 'd -> 'o
method visit_lunop : 'd -> Libelectrod.Elo.lunop -> 'o
method visit_In : 'd -> 'r
method visit_NotIn : 'd -> 'r
method visit_REq : 'd -> 'r
method visit_RNEq : 'd -> 'r
method visit_comp_op : 'd -> Libelectrod.Elo.comp_op -> 'r
method visit_IEq : 'd -> 'p
method visit_INEq : 'd -> 'p
method visit_Lt : 'd -> 'p
method visit_Lte : 'd -> 'p
method visit_Gt : 'd -> 'p
method visit_Gte : 'd -> 'p
method visit_icomp_op : 'd -> Libelectrod.Elo.icomp_op -> 'p
method visit_None_ : 'd -> 'm
method visit_Univ : 'd -> 'm
method visit_Iden : 'd -> 'm
method visit_Var : 'd -> int -> 'm
method visit_Name : 'd -> Libelectrod.Name.t -> 'm
method visit_RUn : 'd -> Libelectrod.Elo.runop -> Libelectrod.Elo.exp -> 'm
method visit_RBin : 'd -> Libelectrod.Elo.exp -> Libelectrod.Elo.rbinop -> Libelectrod.Elo.exp -> 'm
method visit_RIte : 'd -> Libelectrod.Elo.fml -> Libelectrod.Elo.exp -> Libelectrod.Elo.exp -> 'm
method visit_Compr : 'd -> (bool * int * Libelectrod.Elo.exp) list -> Libelectrod.Elo.fml list -> 'm
method visit_Prime : 'd -> Libelectrod.Elo.exp -> 'm
method visit_Transpose : 'd -> 's
method visit_TClos : 'd -> 's
method visit_RTClos : 'd -> 's
method visit_runop : 'd -> Libelectrod.Elo.runop -> 's
method visit_Union : 'd -> 'n
method visit_Inter : 'd -> 'n
method visit_Over : 'd -> 'n
method visit_LProj : 'd -> 'n
method visit_RProj : 'd -> 'n
method visit_Prod : 'd -> 'n
method visit_Diff : 'd -> 'n
method visit_Join : 'd -> 'n
method visit_rbinop : 'd -> Libelectrod.Elo.rbinop -> 'n
method visit_Num : 'd -> int -> 'l
method visit_Card : 'd -> Libelectrod.Elo.exp -> 'l
method visit_IUn : 'd -> Libelectrod.Elo.iunop -> Libelectrod.Elo.iexp -> 'l
method visit_Neg : 'd -> 'q
method visit_iunop : 'd -> Libelectrod.Elo.iunop -> 'q
method visit_Add : 'd -> 'g
method visit_Sub : 'd -> 'g
method visit_ibinop : 'd -> Libelectrod.Elo.ibinop -> 'g
OCaml

Innovation. Community. Security.