diff options
| author | Damien Doligez <damien.doligez-inria.fr> | 2013-03-09 22:38:52 +0000 |
|---|---|---|
| committer | Damien Doligez <damien.doligez-inria.fr> | 2013-03-09 22:38:52 +0000 |
| commit | c63f9e09579ba88c4b9510ccce062fbc767fd3a6 (patch) | |
| tree | a9a7f7ef5f2c1a7d84ba7034e3ed12422800ec96 /stdlib/nativeint.mli | |
| parent | fb36548704ce096310707204c77218fe4d69f069 (diff) | |
fix a few problems with whitespace and over-long lines
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13393 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
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 |