module type PS = sig .. end
sig
end
include Collection.Set.S
val empty : t
t
val add : t -> elt -> t
t -> elt -> t
val remove : t -> elt -> t
val filter : (elt -> bool) -> t -> t
(elt -> bool) -> t -> t