Тип модуля MoreLabels.Set.OrderedType
module type OrderedType = sig .. end
Входная сигнатура функтора MoreLabels.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.
