diff options
Diffstat (limited to 'stdlib/array.mli')
| -rw-r--r-- | stdlib/array.mli | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/stdlib/array.mli b/stdlib/array.mli index 3d0c31895..3d1c60ce0 100644 --- a/stdlib/array.mli +++ b/stdlib/array.mli @@ -192,6 +192,12 @@ val stable_sort : ('a -> 'a -> int) -> 'a array -> unit It is usually faster than the current implementation of {!Array.sort}. *) +val fast_sort : ('a -> 'a -> int) -> 'a array -> unit +(** Same as {!Array.sort} or {!Array.stable_sort}, whichever is faster + on typical input. +*) + + (**/**) (** {6 Undocumented functions} *) |