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