sig
  val to_lconjunction :
    'a Bddapron.Cond.t ->
    'a Bddapron.Expr1.Bool.t ->
    ('a Bddapron.Expr1.Bool.t * 'a Bddapron.Expr1.Bool.t) list
  val forget :
    ('a, 'b, 'c, 'd) Bddapron.Domain0.man ->
    'e Bddapron.Cond.t ->
    'e Bddapron.Expr1.Bool.t -> 'e list -> 'e Bddapron.Expr1.Bool.t
end