CamlinternalMenhirLib.InfiniteArrOCaml)CamlinternalMenhirLib.InfiniteArray(3o)
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 .
OCamldoc 2023-CamlinternalMenhirLib.InfiniteArray(3o)
Generated by dwww version 1.15 on Sun Jun 23 03:54:35 CEST 2024.