module type OrderedType =sig..end
函子 MoreLabels.Set.Make 的输入签名。
type
集合元素的类型。
val compare : t -> t -> int集合元素的总排序函数。这是一个双参数函数 f，使得 f e1 e2 当元素 e1 和 e2 相等时为零，f e1 e2 当 e1 小于 e2 时为严格负数，f e1 e2 当 e1 大于 e2 时为严格正数。例如：一个合适的排序函数是通用的结构比较函数 compare。