module Set: Setmodule 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:
Functor building an implementation of the set structure given a totally ordered type.