Pqueue.MaxPoly(3)

💅 Pqueue.MaxPoly(3) 💅

Okay bestie, welcome to the OCaml library page for Pqueue.MaxPoly — the output signature of the functor Pqueue.MakeMaxPoly. It’s giving “the functor hands you this signature,” and honestly? Iconic. ✨

---

🧚 Module type 🧚

The module type is Pqueue.MaxPoly, no cap.

✨ Documentation ✨

It’s literally this:

Module type MaxPoly
 = sig end

It’s the output signature of the functor Pqueue.MakeMaxPoly . 🫶

Here’s the whole exact crew, in order, don’t rename or merge a single one:

type 'a t

type 'a elt

val create : unit -> 'a t

val length : 'a t -> int

val is_empty : 'a t -> bool

val add : 'a t -> 'a elt -> unit

val add_iter : 'a t -> (('a elt -> unit) -> 'x -> unit) -> 'x -> unit

val max_elt : 'a t -> 'a elt option

val get_max_elt : 'a t -> 'a elt

val pop_max : 'a t -> 'a elt option

val remove_max : 'a t -> unit

val clear : 'a t -> unit

val copy : 'a t -> 'a t

val of_array : 'a elt array -> 'a t

val of_list : 'a elt list -> 'a t

val of_iter : (('a elt -> unit) -> 'x -> unit) -> 'x -> 'a t

val iter_unordered : ('a elt -> unit) -> 'a t -> unit

val fold_unordered : ('acc -> 'a elt -> 'acc) -> 'acc -> 'a t -> 'acc

That’s the whole signature, bestie — every type and every val, exactly as listed. 💖

---

xoxo, OCamldoc · 2026-06-22 · Pqueue.MaxPoly(3) 💖