Pqueue.OrderedPolyType.3o - Man Page

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 .