Тип модуля MoreLabels.Map.OrderedType

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.