Pqueue.MaxPoly(3) OCaml library Pqueue.MaxPoly(3)

# [NAME](#NAME)

Pqueue.MaxPoly - Output signature of the functor Pqueue.MakeMaxPoly.

# [Module type](#Module_type)

Module type Pqueue.MaxPoly

# [Documentation](#Documentation)

Module type **MaxPoly**  
\= **sig end**

Output signature of the functor **Pqueue.MakeMaxPoly** .

*type* **'a** *t*

*type* **'a** *elt*

*val create* : **unit -&gt; 'a t**

*val length* : **'a t -&gt; int**

*val is\_empty* : **'a t -&gt; bool**

*val add* : **'a t -&gt; 'a elt -&gt; unit**

*val add\_iter* : **'a t -&gt;** **(('a elt -&gt; unit) -&gt; 'x -&gt; unit) -&gt; 'x -&gt; unit**

*val max\_elt* : **'a t -&gt; 'a elt option**

*val get\_max\_elt* : **'a t -&gt; 'a elt**

*val pop\_max* : **'a t -&gt; 'a elt option**

*val remove\_max* : **'a t -&gt; unit**

*val clear* : **'a t -&gt; unit**

*val copy* : **'a t -&gt; 'a t**

*val of\_array* : **'a elt array -&gt; 'a t**

*val of\_list* : **'a elt list -&gt; 'a t**

*val of\_iter* : **(('a elt -&gt; unit) -&gt; 'x -&gt; unit) -&gt; 'x -&gt; 'a t**

*val iter\_unordered* : **('a elt -&gt; unit) -&gt; 'a t -&gt; unit**

*val fold\_unordered* : **('acc -&gt; 'a elt -&gt; 'acc) -&gt;** **'acc -&gt; 'a t -&gt; 'acc**

2026-10-23 OCamldoc

---

Document: Pqueue.MaxPoly(3o) from ocaml 5.5.2-r0 (Chainguard OS)
Source: https://github.com/ocaml/ocaml
