package menhirLib

You can search for identifiers within the package.

in-package search v0.2.0

Runtime support library for parsers generated by Menhir

Install

Dune Dependency

gitlab.inria.fr Edit opam file Versions (22)

Authors

Maintainers

F

francois.pottier@inria.fr

Sources

archive.tar.gz

md5=ca1047954bfe8c857425dc67eee46272

sha512=571e7de852a2ea7d1cbb27fb9fd0b716b6ba1f112d4aedf4548d41f907c9a9b74e1b557a26a7515c2a0e5407de6c2614cea17d51a088d845d4c6ceaec85a0ecb

doc/menhirLib/MenhirLib/InfiniteArray/index.html

Module `MenhirLib.InfiniteArray`Source

Sourcetype 'a t

This module implements infinite arrays. *

Sourceval make : 'a -> 'a t

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

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

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

Sourceval 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.

Sourceval domain : 'a t -> 'a array

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