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