Make.Set
module type S = sig ... end
module Make (Ord : Compare.COMPARABLE) : S with type elt = Ord.t