OS Manuals

Pqueue.OrderedPolyType(3o)

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

Pqueue.OrderedPolyType(3) OCaml library Pqueue.OrderedPolyType(3)

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

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 .

2026-10-01 OCamldoc

ocaml 5.5.1-r1 · os · ingested 2026-10-02