package menhirLib

  1. Overview
  2. Docs
Runtime support library for parsers generated by Menhir

Install 

dune-project
 Dependency

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

Authors

  1. F
    François Pottier <francois.pottier@inria.fr>
  2. Y
    Yann Régis-Gianas <yrg@pps.univ-paris-diderot.fr>

Maintainers

  1. F
    francois.pottier@inria.fr

Sources

archive.tar.gz
md5=888ae1ae315c82ca8d56bc115cfa40c2
sha512=e91077407c97ea9dadec533c78c3caf970d63a7504277367d985c469c51970ab9084eafe9332a91eccb378af86606d2d30da789db92e5cc99aaaf1458c200c92

doc/menhirLib/MenhirLib/InfiniteArray/index.html

Module MenhirLib.InfiniteArraySource

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.