`type t = Disj.t list`
`val print : Cudf.universe -> Stdlib.Format.formatter -> PSet.t list -> unit`
`val of_disj : 'a -> 'a 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`