NAME

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

Module type

Module type Pqueue.OrderedPolyType

Documentation

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 .