Module type Pqueue.OrderedPolyType

module type OrderedPolyType = sig .. end

Input signature of the functors Pqueue.MakeMinPoly and Pqueue.MakeMaxPoly.


type 'a t 

The polymorphic type of elements.

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

compare is a total order on values of type Pqueue.OrderedPolyType.t.