diff options
Diffstat (limited to 'stdlib/nativeint.mli')
| -rw-r--r-- | stdlib/nativeint.mli | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/nativeint.mli b/stdlib/nativeint.mli index eb2dde2cf..3dce1b6c4 100644 --- a/stdlib/nativeint.mli +++ b/stdlib/nativeint.mli @@ -16,8 +16,8 @@ This module provides operations on the type [nativeint] of signed 32-bit integers (on 32-bit platforms) or signed 64-bit integers (on 64-bit platforms). - This integer type has exactly the same width as that of a [long] - integer type in the C compiler. All arithmetic operations over + This integer type has exactly the same width as that of a + pointer type in the C compiler. All arithmetic operations over [nativeint] are taken modulo 2{^32} or 2{^64} depending on the word size of the architecture. |