diff options
| author | Damien Doligez <damien.doligez-inria.fr> | 1997-09-11 15:10:23 +0000 |
|---|---|---|
| committer | Damien Doligez <damien.doligez-inria.fr> | 1997-09-11 15:10:23 +0000 |
| commit | c44e6f999a4b06a4b0e961e8607ab8c557501a57 (patch) | |
| tree | 3255033ee7995334288ca1ed7cd17d2b1de45451 /stdlib/sys.mli | |
| parent | 1d41f4abb025864b1aee444790b613cc5f0a444a (diff) | |
arg.ml, arg.mli, string.mli: amelioration de la doc
array.mli, array.ml, random.ml: create -> make (coherence avec String)
sys.ml, sys.mli: ajout max_string_length, max_array_length
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1706 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'stdlib/sys.mli')
| -rw-r--r-- | stdlib/sys.mli | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/stdlib/sys.mli b/stdlib/sys.mli index e10319ba8..9e081a684 100644 --- a/stdlib/sys.mli +++ b/stdlib/sys.mli @@ -43,6 +43,10 @@ val os_type: string val word_size: int (* Size of one word on the machine currently executing the Caml program, in bits: 32 or 64. *) +val max_string_length: int + (* Maximum length of a string. *) +val max_array_length: int + (* Maximum length of an array. *) (*** Signal handling *) |