Module Bddapron.Formula.Expr0.Bool

module Bool: sig .. end

val to_lconjunction : 'a Bddapron.Env.t ->
       'a Bddapron.Cond.t ->
       'a Bddapron.Expr0.Bool.t ->
       ('a Bddapron.Expr0.Bool.t * 'a Bddapron.Expr0.Bool.t) list

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