---
name: "Pqueue.MakeMaxPoly"
section: "3o"
platform: "linux"
package: "ocaml"
version: "5.5.0-1"
release: "Arch Linux 2026-11-01"
platforms: ["linux"]
url: "https://new.carta.tech/Pqueue.MakeMaxPoly"
---

# Pqueue.MakeMaxPoly(3o)

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

## NAME

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

## Module

Module   Pqueue.MakeMaxPoly

## Documentation

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

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

**Parameters:**

"E"

**Pqueue.OrderedPolyType**

*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**