module type OrderedType =sig
..end
函子 MoreLabels.Map.Make
的输入签名。
type
t
映射键的类型。
val compare : t -> t -> int
键上的全序函数。这是一个有两个参数的函数 f
,使得 f e1 e2
等于零,如果键 e1
和 e2
相等,f e1 e2
严格小于零,如果 e1
小于 e2
,并且 f e1 e2
严格大于零,如果 e1
大于 e2
。例如:一个合适的排序函数是通用的结构比较函数 compare
。