CamlinternalMenhirLib.InfiniteArray - no description

       Module InfiniteArray
        : sigendtype'at

       This module implements infinite arrays. *

       valmake : 'a->'atmakex creates an infinite array, where every slot contains x . *

       valget : 'at->int->'agetai returns the element contained at offset i in the array a .  Slots are numbered 0 and up. *

       valset : 'at->int->'a->unitsetaix sets the element contained at offset i in the array a to x . Slots are numbered 0 and up. *

       valextent : 'at->intextenta 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.

       valdomain : 'at->'aarraydomaina is a fresh copy of an initial segment of the array a whose length is extenta .

OCamldoc                                           2025-06-12            CamlinternalMenhirLib.InfiniteArray(3o)

       Module   CamlinternalMenhirLib.InfiniteArray

       CamlinternalMenhirLib.InfiniteArray - no description