diff options
| author | Daniel de Rauglaudre <daniel.de_rauglaudre@inria.fr> | 1995-11-13 13:29:51 +0000 |
|---|---|---|
| committer | Daniel de Rauglaudre <daniel.de_rauglaudre@inria.fr> | 1995-11-13 13:29:51 +0000 |
| commit | f67cf2d0cdf8b223594ce1ebc8bdfdee3f059978 (patch) | |
| tree | fba7917cb38429984873153d6cb710dc66283f0c /otherlibs/unix/unix.mli | |
| parent | 32878e804ff23aa2c7f6ec7f2d597cc111184cfe (diff) | |
Modify interface & comments.
Implement with Obj.set_field instead of mutable to accept polymorphic empty
streams (worked before because of a bug in type checking).
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@439 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs/unix/unix.mli')
0 files changed, 0 insertions, 0 deletions