diff options
Diffstat (limited to 'stdlib/nativeint.mli')
| -rw-r--r-- | stdlib/nativeint.mli | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/stdlib/nativeint.mli b/stdlib/nativeint.mli index aa788f03c..eb2dde2cf 100644 --- a/stdlib/nativeint.mli +++ b/stdlib/nativeint.mli @@ -58,7 +58,8 @@ external rem : nativeint -> nativeint -> nativeint = "%nativeint_mod" (** Integer remainder. If [y] is not zero, the result of [Nativeint.rem x y] satisfies the following properties: [Nativeint.zero <= Nativeint.rem x y < Nativeint.abs y] and - [x = Nativeint.add (Nativeint.mul (Nativeint.div x y) y) (Nativeint.rem x y)]. + [x = Nativeint.add (Nativeint.mul (Nativeint.div x y) y) + (Nativeint.rem x y)]. If [y = 0], [Nativeint.rem x y] raises [Division_by_zero]. *) val succ : nativeint -> nativeint |