electrod 0.1.7 · OCaml Package


  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.. >

inherit VisitorsRuntime.fold

inherit VisitorsRuntime.map

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_IComp : 'd ->
  Libelectrod.Elo.iexp ->
  Libelectrod.Elo.icomp_op ->
  Libelectrod.Elo.iexp ->
  '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_ofml : 'd ->
  (Libelectrod.Elo.fml, Libelectrod.Elo.exp, Libelectrod.Elo.iexp)
    Libelectrod.Elo.ofml ->
  '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_oexp : 'd ->
  (Libelectrod.Elo.fml, Libelectrod.Elo.exp, Libelectrod.Elo.iexp)
    Libelectrod.Elo.oexp ->
  'k

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_prim_oexp : 'd ->
  (Libelectrod.Elo.fml, Libelectrod.Elo.exp, Libelectrod.Elo.iexp)
    Libelectrod.Elo.prim_oexp ->
  '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_IBin : 'd ->
  Libelectrod.Elo.iexp ->
  Libelectrod.Elo.ibinop ->
  Libelectrod.Elo.iexp ->
  'l

method visit_oiexp : 'd ->
  (Libelectrod.Elo.fml, Libelectrod.Elo.exp, Libelectrod.Elo.iexp)
    Libelectrod.Elo.oiexp ->
  '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

package electrod