diff options
| author | Damien Doligez <damien.doligez-inria.fr> | 2002-06-05 12:12:47 +0000 |
|---|---|---|
| committer | Damien Doligez <damien.doligez-inria.fr> | 2002-06-05 12:12:47 +0000 |
| commit | bba52e7a9dfc5d8818b8a1e81cf5fd385ec4af79 (patch) | |
| tree | 2165e2668adfad950c12db3e9004750e29cb334e /stdlib/array.mli | |
| parent | db0a0a0d3427a3e9451ad7e6521c9221d64eb1be (diff) | |
changement List.sort; ajout fast_sort et List.merge
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4884 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
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} *) |