diff options
Diffstat (limited to 'stdlib/array.mli')
| -rw-r--r-- | stdlib/array.mli | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/stdlib/array.mli b/stdlib/array.mli deleted file mode 100644 index e0d9983d7d..0000000000 --- a/stdlib/array.mli +++ /dev/null @@ -1,22 +0,0 @@ -(* Array operations *) - -external length : 'a array -> int = "%array_length" - -external get: 'a array -> int -> 'a = "array_get" -external set: 'a array -> int -> 'a -> unit = "array_set" -external new: int -> 'a -> 'a array = "make_vect" -val new_matrix: int -> int -> 'a -> 'a array 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 -val blit: 'a array -> int -> 'a array -> int -> int -> unit -val iter: ('a -> 'b) -> 'a array -> unit -val map: ('a -> 'b) -> 'a array -> 'b array -val to_list: 'a array -> 'a list -val of_list: 'a list -> 'a array - -external unsafe_get: 'a array -> int -> 'a = "%array_unsafe_get" -external unsafe_set: 'a array -> int -> 'a -> unit = "%array_unsafe_set" - |