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

module type OrderedType = sig .. end

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