diff options
Diffstat (limited to 'stdlib/array.mli')
| -rw-r--r-- | stdlib/array.mli | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/stdlib/array.mli b/stdlib/array.mli index dc9a4156f..28f1e586d 100644 --- a/stdlib/array.mli +++ b/stdlib/array.mli @@ -6,7 +6,8 @@ val get: 'a array -> int -> 'a val set: 'a array -> int -> 'a -> unit external new: int -> 'a -> 'a array = "make_vect" val new_matrix: int -> int -> 'a -> 'a array array -val concat: 'a array -> 'a array -> 'a array +val append: 'a array -> 'a array -> 'a array +val concat: 'a array list -> 'a array val sub: 'a array -> int -> int -> 'a array val copy: 'a array -> 'a array val fill: 'a array -> int -> int -> 'a -> unit |