diff options
Diffstat (limited to 'stdlib/array.mli')
| -rw-r--r-- | stdlib/array.mli | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/stdlib/array.mli b/stdlib/array.mli index e0d9983d7..04968bce9 100644 --- a/stdlib/array.mli +++ b/stdlib/array.mli @@ -1,9 +1,8 @@ (* 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 get: 'a array -> int -> 'a = "%array_safe_get" +external set: 'a array -> int -> 'a -> unit = "%array_safe_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 |