diff options
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 *) |