1CamlinternalMenhirLib.InfiniteArraOyC(a3m)l liCbarmalriynternalMenhirLib.InfiniteArray(3)
2
3
4

NAME

6       CamlinternalMenhirLib.InfiniteArray - no description
7

Module

9       Module   CamlinternalMenhirLib.InfiniteArray
10

Documentation

12       Module InfiniteArray
13        : sig end
14
15
16
17
18
19
20
21       type 'a t
22
23
24       This module implements infinite arrays. *
25
26
27
28       val make : 'a -> 'a t
29
30
31       make x creates an infinite array, where every slot contains x . *
32
33
34
35       val get : 'a t -> int -> 'a
36
37
38       get  a  i  returns  the  element contained at offset i in the array a .
39       Slots are numbered 0 and up. *
40
41
42
43       val set : 'a t -> int -> 'a -> unit
44
45
46       set a i x sets the element contained at offset i in the array a to x  .
47       Slots are numbered 0 and up. *
48
49
50
51       val extent : 'a t -> int
52
53
54       extent  a  is  the  length of an initial segment of the array a that is
55       sufficiently large to contain all set  operations  ever  performed.  In
56       other words, all elements beyond that segment have the default value.
57
58
59
60       val domain : 'a t -> 'a array
61
62
63       domain  a  is  a  fresh copy of an initial segment of the array a whose
64       length is extent a .
65
66
67
68
69
70OCamldoc                          2020-09C-a0m1linternalMenhirLib.InfiniteArray(3)