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

# Pqueue.MakeMax(3o)

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

## NAME

Pqueue.MakeMax - Functor building an implementation of the max-priority queue structure given a totally ordered type for elements.

## Module

Module   Pqueue.MakeMax

## Documentation

Module **MakeMax**\
  :  **(E : OrderedType) -\> sig end**

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

**Parameters:**

"E"

**Pqueue.OrderedType**

*type t*

*type elt*

*val create* :  **unit -\> t**

*val length* :  **t -\> int**

*val is\_empty* :  **t -\> bool**

*val add* :  **t -\> elt -\> unit**

*val add\_iter* :  **t -\> ((elt -\> unit) -\> 'x -\> unit) -\> 'x -\> unit**

*val max\_elt* :  **t -\> elt option**

*val get\_max\_elt* :  **t -\> elt**

*val pop\_max* :  **t -\> elt option**

*val remove\_max* :  **t -\> unit**

*val clear* :  **t -\> unit**

*val copy* :  **t -\> t**

*val of\_array* :  **elt array -\> t**

*val of\_list* :  **elt list -\> t**

*val of\_iter* :  **((elt -\> unit) -\> 'x -\> unit) -\> 'x -\> t**

*val iter\_unordered* :  **(elt -\> unit) -\> t -\> unit**

*val fold\_unordered* :  **('acc -\> elt -\> 'acc) -\> 'acc -\> t -\> 'acc**