diff options
| author | Gabriel Scherer <gabriel.scherer@gmail.com> | 2023-05-12 18:12:41 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-05-12 18:12:41 +0200 |
| commit | 70ff202375737794910dd292f907cb52173cfa4a (patch) | |
| tree | e3f667de428dec61d4d0a9fc0bf4fc1122a80b5f | |
| parent | d7ced7e6b0ac2b03fda7b0bcc29c46fef26f71c9 (diff) | |
| parent | 37eea6f631b070eb40ac0540d66086c6f11911ba (diff) | |
| download | ocaml-70ff202375737794910dd292f907cb52173cfa4a.tar.gz | |
Merge pull request #12240 from dhil/patch-1
Fix typo in privatetypes.etex
| -rw-r--r-- | manual/src/refman/extensions/privatetypes.etex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/manual/src/refman/extensions/privatetypes.etex b/manual/src/refman/extensions/privatetypes.etex index b6ed0d8e74..dfd1e7565e 100644 --- a/manual/src/refman/extensions/privatetypes.etex +++ b/manual/src/refman/extensions/privatetypes.etex @@ -159,7 +159,7 @@ type v = private [< t > `A] corresponds to private variant types. One cannot create a value of the private type [v], except using the constructors that are explicitly listed as present, "(`A n)" in this example; yet, when -patter-matching on a [v], one should assume that any of the +pattern-matching on a [v], one should assume that any of the constructors of [t] could be present. Similarly to abstract types, the variance of type parameters |