Pqueue.OrderedPolyType(3) OCaml library 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 . OCamldoc 2025-11-01 Pqueue.OrderedPolyType(3)