module type OrderedType =sig..end
函式子 MoreLabels.Set.Make 的輸入簽章。
type
集合元素的類型。
val compare : t -> t -> int集合元素上的總排序函數。這是一個雙參數函數 f，使得如果元素 e1 和 e2 相等，則 f e1 e2 為零；如果 e1 小於 e2，則 f e1 e2 嚴格為負；如果 e1 大於 e2，則 f e1 e2 嚴格為正。範例：一個適合的排序函數是通用的結構比較函數 compare。