diff options
| author | Alain Frisch <alain@frisch.fr> | 2013-07-09 11:01:42 +0000 |
|---|---|---|
| committer | Alain Frisch <alain@frisch.fr> | 2013-07-09 11:01:42 +0000 |
| commit | edb771d22b0d253e84b553259efff06efc719610 (patch) | |
| tree | 3c6a68c8f2b435c4d409225e46a8b19bd84228b5 /otherlibs/win32unix/unixsupport.c | |
| parent | 72af5c7cd0d6e795d103194999d202d95f8f1e64 (diff) | |
#4986. Add two common operations: List.sort_uniq (more efficient that sorting then removing duplicates) and Set.of_list (more efficient than folding Set.add over the list).
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13876 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs/win32unix/unixsupport.c')
0 files changed, 0 insertions, 0 deletions