Module Std.Set

module type OrderedType = sig ... end
module type S = sig ... end
module Make (Ord : sig ... end) : S with type elt = Ord.t
module Poly : sig ... end

Polymorphic sets. This is a copy of Stdlib.Set.Make with type elt replaced by a 'a, and Ord.compare replaced with Stdlib.compare