`type t = PSet.t`
`val print : Cudf.universe -> Stdlib.Format.formatter -> PSet.t -> unit`
`val implies : PSet.t -> PSet.t -> bool`
`val equiv : PSet.t -> PSet.t -> bool`
`val lit : PSet.elt -> PSet.t`
`val lit_disj : PSet.elt list -> PSet.t`
`val _false : PSet.t`
`val disj : PSet.t -> PSet.t -> PSet.t`
`val disjl : PSet.t list -> PSet.t`
`val iter : PSet.t -> (PSet.elt -> unit) -> unit`
`val cut : PSet.t -> PSet.elt -> PSet.t -> PSet.t`
`val fold : (PSet.elt -> 'a -> 'a) -> PSet.t -> 'a -> 'a`
`val for_all : (PSet.elt -> bool) -> PSet.t -> bool`
`val exists : (PSet.elt -> bool) -> PSet.t -> bool`
`val implies1 : PSet.elt -> PSet.t -> bool`
`val to_lit : PSet.t -> PSet.elt option`
`val to_lits : 'a -> 'a`
`val filter : (PSet.elt -> bool) -> PSet.t -> PSet.t`
`val normalize : PSet.t -> PSet.t`
`val compare : PSet.t -> PSet.t -> int`