Module Stdlib.Set

module Set: Set;

module type OrderedType = sig .. end

Input signature of the functor Set.Make.

module type S = sig .. end

Output signature of the functor Set.Make.

module Make: (Ord: OrderedType) => S with type elt = Ord.t;

Functor building an implementation of the set structure given a totally ordered type.