diff options
| -rw-r--r-- | stdlib/pervasives.mli | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/stdlib/pervasives.mli b/stdlib/pervasives.mli index 9cd2949f5..0d6b4d230 100644 --- a/stdlib/pervasives.mli +++ b/stdlib/pervasives.mli @@ -187,13 +187,13 @@ external ( & ) : bool -> bool -> bool = "%sequand" (** @deprecated {!Pervasives.(&&)} should be used instead. *) external ( || ) : bool -> bool -> bool = "%sequor" -(** See {!Pervasives.or}.*) - -external ( or ) : bool -> bool -> bool = "%sequor" (** The boolean ``or''. Evaluation is sequential, left-to-right: in [e1 || e2], [e1] is evaluated first, and if it returns [true], [e2] is not evaluated at all. *) +external ( or ) : bool -> bool -> bool = "%sequor" +(** @deprecated {!Pervasives.(||)} should be used instead.*) + (** {6 Integer arithmetic} *) |