diff options
| author | Damien Doligez <damien.doligez-inria.fr> | 2002-02-25 13:04:58 +0000 |
|---|---|---|
| committer | Damien Doligez <damien.doligez-inria.fr> | 2002-02-25 13:04:58 +0000 |
| commit | 5dd41d5bc92995a053e19e26b23c99c2a9fb5cac (patch) | |
| tree | 96145e351cf2f91ca292b648e518a60386d58277 /stdlib | |
| parent | 30e7601af20f1d23721886516b31d844d1b59f21 (diff) | |
"or" deprecated; use || instead
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4436 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'stdlib')
| -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} *) |