Module type Pqueue.OrderedPolyType

Input signature of the functors MakeMinPoly and MakeMaxPoly.

type 'a t

type t('a);

The polymorphic type of elements.

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

let compare: t('a) => t('b) => int;

compare is a total order on values of type t.