Module Flatten.FormulaSource

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