Asetmap.SetSets.
module type S = sig ... endSignature for sets of values of a totally ordered type.
module Make (Ord : Set.OrderedType) : S with type elt = Ord.t and type t = Set.Make(Ord).tMake (Ord) is a set data structure for values of the totally ordered type Ord.