Containers.SetExtmodule Make (Ord : SetExtSig.OrderedType) : SetExtSig.S with type elt = Ord.tGeneric functor to build a set data-type from ordered elements.
val printer_default : SetExtSig.set_printerPrint as set: lem1,...,elemn.
module StringSet : SetExtSig.S with type elt = stringmodule IntSet : SetExtSig.S with type elt = intmodule Int32Set : SetExtSig.S with type elt = int32module Int64Set : SetExtSig.S with type elt = int64module ZSet : SetExtSig.S with type elt = Z.tA few useful set instances.