Module Flatten.Formula

type t = Disj.t list
val print : Cudf.universe -> Stdlib.Format.formatter -> PSet.t list -> unit
val of_disj : 'a -> 'b list
val lit : PSet.elt -> PSet.t list
val lit_disj : PSet.elt list -> PSet.t list
val implies1 : PSet.t list -> PSet.t -> bool
val implies : PSet.t list -> PSet.t list -> bool
val equiv : PSet.t list -> PSet.t list -> bool
val _true : 'a list
val conj1 : PSet.t list -> PSet.t -> PSet.t list
val conj : PSet.t list -> PSet.t list -> PSet.t list
val conjl : PSet.t list list -> PSet.t list
val _false : PSet.t list
val disj : PSet.t list -> PSet.t list -> PSet.t list
val disjl : PSet.t list list -> PSet.t list
val iter : 'a list -> ( 'a -> unit ) -> unit
val fold : ( 'a -> 'b -> 'b ) -> 'a list -> 'b -> 'b
val filter : ( 'a -> bool ) -> 'a list -> 'a list
val exists : ( 'a -> bool ) -> 'a list -> bool
val map : ( 'a -> 'b ) -> 'a list -> 'b list
val normalize : PSet.t list -> PSet.t list