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