sig
  module Bool :
    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
end