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

module type OrderedType = sig .. end

Входная сигнатура функторов Pqueue.MakeMin и Pqueue.MakeMax.

type t

Тип элементов.

val compare : t -> t -> int

Функция полного упорядочивания для сравнения элементов.

Это функция с двумя аргументами f такая, что f e1 e2 равна нулю, если элементы e1 и e2 равны, f e1 e2 строго отрицательна, если e1 меньше e2, и f e1 e2 строго положительна, если e1 больше e2.

Универсальная функция структурного сравнения compare подходит для упорядочивания элементов таких типов, как int или string.