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 .