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