diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2001-01-21 12:34:41 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2001-01-21 12:34:41 +0000 |
| commit | bc8f2e22d43950ca8f3a91d8cb6bbcd810437d77 (patch) | |
| tree | a7ac14dc9ff7839a2c0ddc3c01f5ed542b60d85a /stdlib/nativeint.mli | |
| parent | 86b0737f00f36d5dfbb0758fbca491b100fc678a (diff) | |
| download | ocaml-bc8f2e22d43950ca8f3a91d8cb6bbcd810437d77.tar.gz | |
Ajout de Nativeint.size
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3373 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'stdlib/nativeint.mli')
| -rw-r--r-- | stdlib/nativeint.mli | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/stdlib/nativeint.mli b/stdlib/nativeint.mli index 74b50db761..ab54e6563a 100644 --- a/stdlib/nativeint.mli +++ b/stdlib/nativeint.mli @@ -47,11 +47,16 @@ external rem: nativeint -> nativeint -> nativeint = "%nativeint_mod" If [x < 0] or [y < 0], the result of [Nativeint.rem x y] is not specified and depends on the platform. *) val succ: nativeint -> nativeint - (* Successor. [Nativeint.succ x] is [Nativeint.add x 1n]. *) + (* Successor. + [Nativeint.succ x] is [Nativeint.add x Nativeint.one]. *) val pred: nativeint -> nativeint - (* Predecessor. [Nativeint.pred x] is [Nativeint.sub x 1n]. *) + (* Predecessor. + [Nativeint.pred x] is [Nativeint.sub x Nativeint.one]. *) val abs: nativeint -> nativeint (* Return the absolute value of its argument. *) +val size: int + (* The size in bits of a native integer. This is equal to 32 + on a 32-bit platform and to 64 on a 64-bit platform. *) val max_int: nativeint (* The greatest representable native integer, either $2^{31} - 1$ on a 32-bit platform, |