module type S = sig .. end
sig
end
include Set.S
val toList : t -> elt list
t -> elt list
val fromList : elt list -> t
elt list -> t