Pqueue.MakeMaxPoly(3)

💅 Pqueue.MakeMaxPoly(3) — OCaml library, bestie ✨

okay so welcome to the manual page for Pqueue.MakeMaxPoly(3) from the OCaml library — it’s giving very “functor with main character energy,” and I’m obsessed. 🎀

---

🌸 NAME 🌸

Pqueue.MakeMaxPoly is a functor building an implementation of max-priority queues when you give it a totally ordered type for the elements. That’s the NAME section, and it understood the assignment. 💅

🎀 Module 🎀

Module Pqueue.MakeMaxPoly

✨ Documentation ✨

🦋 Module MakeMaxPoly 🦋

Module MakeMaxPoly
 : (E : OrderedPolyType) -> sig end

Same technical tea as NAME: it’s the functor that builds an implementation of max-priority queues from a totally ordered type for the elements. (Yes bestie, consistency is iconic.) 🫶

🌟 Parameters 🌟

• "E" — Pqueue.OrderedPolyType

Then here’s the exact type/value lineup, in the exact order the page gives it — no cap, every signature is right here:

• type 'a t — exact type declaration, periodt.
• type 'a elt — exact type declaration, also periodt.
• val create : unit -> 'a t — exact signature, bestie.
• val length : 'a t -> int — exact signature, no cap.
• val is_empty : 'a t -> bool — exact signature, slay.
• val add : 'a t -> 'a elt -> unit — exact signature, periodt.
• val add_iter : 'a t -> (('a elt -> unit) -> 'x -> unit) -> 'x -> unit — exact signature, highkey iconic.
• val max_elt : 'a t -> 'a elt option — exact signature, fr fr.
• val get_max_elt : 'a t -> 'a elt — exact signature, yes ma’am.
• val pop_max : 'a t -> 'a elt option — exact signature, love that.
• val remove_max : 'a t -> unit — exact signature, understood.
• val clear : 'a t -> unit — exact signature, clean.
• val copy : 'a t -> 'a t — exact signature, duplicate energy.
• val of_array : 'a elt array -> 'a t — exact signature, array moment.
• val of_list : 'a elt list -> 'a t — exact signature, list moment.
• val of_iter : (('a elt -> unit) -> 'x -> unit) -> 'x -> 'a t — exact signature, iterator moment.
• val iter_unordered : ('a elt -> unit) -> 'a t -> unit — exact signature, unordered vibes.
• val fold_unordered : ('acc -> 'a elt -> 'acc) -> 'acc -> 'a t -> 'acc — exact signature, fold finale.

---

xoxo, bestie 💖 — this page came from OCamldoc, dated 2026-06-22, and it’s Pqueue.MakeMaxPoly(3). 🫶