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