模組類型 Map.OrderedType

Map 鍵值的類型。

鍵值的全排序函數。這是一個雙參數函數 f，當鍵值 e1 和 e2 相等時，f e1 e2 為零；當 e1 小於 e2 時，f e1 e2 為嚴格負數；當 e1 大於 e2 時，f e1 e2 為嚴格正數。範例：一個合適的排序函數是泛型結構比較函數 compare。