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

module type OrderedPolyType = sig .. end

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

type 'a t

Полиморфный тип элементов.

val compare : 'a t -> 'b t -> int

compare задаёт линейный порядок на значениях типа Pqueue.OrderedPolyType.t.