模块类型 MoreLabels.Map.OrderedType

module type OrderedType = sig .. end

函子 MoreLabels.Map.Make 的输入签名。


type t 

映射键的类型。

val compare : t -> t -> int

键上的全序函数。这是一个有两个参数的函数 f,使得 f e1 e2 等于零,如果键 e1e2 相等,f e1 e2 严格小于零,如果 e1 小于 e2,并且 f e1 e2 严格大于零,如果 e1 大于 e2。例如:一个合适的排序函数是通用的结构比较函数 compare