模块类型 Map.OrderedType

映射键的类型。

键的总排序函数。这是一个双参数函数 f，其中 f e1 e2 如果键 e1 和 e2 相等则为零，f e1 e2 如果 e1 小于 e2 则为严格负数，并且 f e1 e2 如果 e1 大于 e2 则为严格正数。例如，一个合适的排序函数是通用的结构比较函数 compare。