diff options
| author | Pierre Weis <Pierre.Weis@inria.fr> | 1999-01-04 10:35:49 +0000 |
|---|---|---|
| committer | Pierre Weis <Pierre.Weis@inria.fr> | 1999-01-04 10:35:49 +0000 |
| commit | c35c5b3efdd0c71bc07490bb74606bc8da0e06ce (patch) | |
| tree | 84f1af9bffce31d6a29c04552cae1cb35f5789dc /otherlibs/unix | |
| parent | 12c5dec5378979ed9ba8fd523ae6262a46c973b9 (diff) | |
Ajout des fonctions find, partition, find_all
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2244 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs/unix')
0 files changed, 0 insertions, 0 deletions