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 f7ef684a2..555cb69f3 100644 --- a/stdlib/nativeint.mli +++ b/stdlib/nativeint.mli @@ -52,11 +52,11 @@ val pred: nativeint -> nativeint (* Predecessor. [Nativeint.pred x] is [Nativeint.sub x 1n]. *) val abs: nativeint -> nativeint (* Return the absolute value of its argument. *) -val max: nativeint +val max_int: nativeint (* The greatest representable native integer, either $2^{31} - 1$ on a 32-bit platform, or $2^{63} - 1$ on a 64-bit platform. *) -val min: nativeint +val min_int: nativeint (* The greatest representable native integer, either $-2^{31}$ on a 32-bit platform, or $-2^{63}$ on a 64-bit platform. *) |