diff options
Diffstat (limited to 'stdlib/array.mli')
| -rw-r--r-- | stdlib/array.mli | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/stdlib/array.mli b/stdlib/array.mli index df5b1c41c..db1f469d0 100644 --- a/stdlib/array.mli +++ b/stdlib/array.mli @@ -201,5 +201,7 @@ val fast_sort : ('a -> 'a -> int) -> 'a array -> unit (**/**) (** {6 Undocumented functions} *) +(* The following is for system use only. Do not call directly. *) + external unsafe_get : 'a array -> int -> 'a = "%array_unsafe_get" external unsafe_set : 'a array -> int -> 'a -> unit = "%array_unsafe_set" |