Pqueue.OrderedPolyType(3)

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 .