模块类型 Set.OrderedType

集合元素的类型。

集合元素的总排序函数。这是一个有两个参数的函数 f，使得 f e1 e2 为零，如果元素 e1 和 e2 相等，f e1 e2 严格为负，如果 e1 小于 e2，f e1 e2 严格为正，如果 e1 大于 e2。例如：一个合适的排序函数是通用的结构比较函数 compare。