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

# CamlinternalMenhirLib.InfiniteArray(3o)

no description

## NAME

CamlinternalMenhirLib.InfiniteArray - no description

## Module

Module   CamlinternalMenhirLib.InfiniteArray

## Documentation

Module **InfiniteArray**\
  :  **sig end**

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

This module implements infinite arrays. \*

*val make* :  **'a -\> 'a t**

**make x** creates an infinite array, where every slot contains  **x** . \*

*val get* :  **'a t -\> int -\> 'a**

**get a i** returns the element contained at offset  **i** in the array  **a** . Slots are numbered 0 and up. \*

*val set* :  **'a t -\> int -\> 'a -\> unit**

**set a i x** sets the element contained at offset  **i** in the array **a** to  **x** . Slots are numbered 0 and up. \*

*val extent* :  **'a t -\> int**

**extent a** is the length of an initial segment of the array  **a** that is sufficiently large to contain all  **set** operations ever performed. In other words, all elements beyond that segment have the default value.

*val domain* :  **'a t -\> 'a array**

**domain a** is a fresh copy of an initial segment of the array  **a** whose length is  **extent a** .