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

module type OrderedType = sig .. end

Входная сигнатура функтора 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.