---
name: "Pqueue.MaxPoly"
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.MaxPoly"
---

# Pqueue.MaxPoly(3o)

Output signature of the functor Pqueue.MakeMaxPoly.

## NAME

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

## Module type

Module type   Pqueue.MaxPoly

## Documentation

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

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

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