diff options
author | Damien Doligez <damien.doligez-inria.fr> | 1997-05-19 15:42:21 +0000 |
---|---|---|
committer | Damien Doligez <damien.doligez-inria.fr> | 1997-05-19 15:42:21 +0000 |
commit | 03ec746bf1afc498c91a4bff3a3f80d873594b95 (patch) | |
tree | 2d628930d146a469503d32f62181997a75e459a3 /stdlib/array.mli | |
parent | 9f30d68f00c8933445d45416dcc7f67c7f1ca934 (diff) |
deTABisation
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1563 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'stdlib/array.mli')
-rw-r--r-- | stdlib/array.mli | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/array.mli b/stdlib/array.mli index 6591a65de..343565f5a 100644 --- a/stdlib/array.mli +++ b/stdlib/array.mli @@ -31,7 +31,7 @@ external set: 'a array -> int -> 'a -> unit = "%array_safe_set" external create: int -> 'a -> 'a array = "make_vect" (* [Array.create n x] returns a fresh array of length [n], initialized with [x]. - All the elements of this new array are initially + All the elements of this new array are initially physically equal to [x] (in the sense of the [==] predicate). Consequently, if [x] is mutable, it is shared among all elements of the array, and modifying [x] through one of the array entries @@ -40,7 +40,7 @@ val create_matrix: int -> int -> 'a -> 'a array array (* [Array.create_matrix dimx dimy e] returns a two-dimensional array (an array of arrays) with first dimension [dimx] and second dimension [dimy]. All the elements of this new matrix - are initially physically equal to [e]. + are initially physically equal to [e]. The element ([x,y]) of a matrix [m] is accessed with the notation [m.(x).(y)]. *) val append: 'a array -> 'a array -> 'a array |