diff options
author | Nicolás Ojeda Bär <n.oje.bar@gmail.com> | 2022-01-12 18:52:58 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-01-12 18:52:58 +0100 |
commit | 2526e225838b868a3b0109fd9a8da36a8f1e0c29 (patch) | |
tree | e85e3aef06b55a80805a10f629a2b2d5c4e66211 /stdlib/stdlib.mli | |
parent | 1546e1f86f87485637719c86d92f32df9292997f (diff) | |
download | ocaml-2526e225838b868a3b0109fd9a8da36a8f1e0c29.tar.gz |
Remove deprecated functions (#10867)
Diffstat (limited to 'stdlib/stdlib.mli')
-rw-r--r-- | stdlib/stdlib.mli | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/stdlib/stdlib.mli b/stdlib/stdlib.mli index 9e66103744..c098f27408 100644 --- a/stdlib/stdlib.mli +++ b/stdlib/stdlib.mli @@ -218,12 +218,6 @@ external ( && ) : bool -> bool -> bool = "%sequand" Right-associative operator, see {!Ocaml_operators} for more information. *) -external ( & ) : bool -> bool -> bool = "%sequand" - [@@ocaml.deprecated "Use (&&) instead."] -(** @deprecated {!Stdlib.( && )} should be used instead. - Right-associative operator, see {!Ocaml_operators} for more information. -*) - external ( || ) : 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], @@ -231,12 +225,6 @@ external ( || ) : bool -> bool -> bool = "%sequor" Right-associative operator, see {!Ocaml_operators} for more information. *) -external ( or ) : bool -> bool -> bool = "%sequor" - [@@ocaml.deprecated "Use (||) instead."] -(** @deprecated {!Stdlib.( || )} should be used instead. - Right-associative operator, see {!Ocaml_operators} for more information. -*) - (** {1 Debugging} *) external __LOC__ : string = "%loc_LOC" |