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