Pqueue.MakeMinPoly(3) OCaml library Pqueue.MakeMinPoly(3)

# [NAME](#NAME)

Pqueue.MakeMinPoly - Functor building an implementation of min-priority queues given a totally ordered type for the elements.

# [Module](#Module)

Module Pqueue.MakeMinPoly

# [Documentation](#Documentation)

Module **MakeMinPoly**  
: **(E : OrderedPolyType) -&gt; sig end**

Functor building an implementation of min-priority queues given a totally ordered type for the elements.

**Parameters:**

"E"

**Pqueue.OrderedPolyType**

*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 min\_elt* : **'a t -&gt; 'a elt option**

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

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

*val remove\_min* : **'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-01 OCamldoc

---

Document: Pqueue.MakeMinPoly(3o) from ocaml 5.5.1-r1 (Chainguard OS)
Source: https://github.com/ocaml/ocaml
