Module Iter.Set

module type S = sig ... end
module Adapt (X : sig ... end) : S with type elt := X.elt and type t := X.t

Create an enriched Set module from the given one