模組類型 Set.OrderedType

集合元素的類型。

集合元素上的總排序函式。這是一個雙參數函式 f，使得如果元素 e1 和 e2 相等，則 f e1 e2 為零；如果 e1 小於 e2，則 f e1 e2 為嚴格負數；如果 e1 大於 e2，則 f e1 e2 為嚴格正數。範例：一個合適的排序函式是通用的結構比較函式 compare。