diff options
| author | Stephen Dolan <stephen.dolan@cl.cam.ac.uk> | 2019-12-09 12:50:17 (GMT) |
|---|---|---|
| committer | Stephen Dolan <stephen.dolan@cl.cam.ac.uk> | 2019-12-09 12:50:17 (GMT) |
| commit | ca98dd8aa2349b2c077ab44bde9e13e53499d17f (patch) | |
| tree | e88aa41cf71d67fefd42ecb70a4fe3d6291084ce | |
| parent | 0b1ca1b738fb8317c3777b268f0ca6750b2e4ce5 (diff) | |
| download | ocaml-ca98dd8aa2349b2c077ab44bde9e13e53499d17f.zip ocaml-ca98dd8aa2349b2c077ab44bde9e13e53499d17f.tar.gz ocaml-ca98dd8aa2349b2c077ab44bde9e13e53499d17f.tar.bz2 | |
manual bugfixrefs/pull/9172/head
| -rw-r--r-- | manual/manual/refman/exten.etex | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/manual/manual/refman/exten.etex b/manual/manual/refman/exten.etex index a462cc1..b141fd4 100644 --- a/manual/manual/refman/exten.etex +++ b/manual/manual/refman/exten.etex @@ -861,9 +861,9 @@ module P = struct end module N = P \end{caml_example*} has type -\caml -\:module N = P -\endcaml +\begin{caml_example*}{signature} +module N = P +\end{caml_example*} Type-level module aliases are used when checking module path equalities. That is, in a context where module name @N@ is known to be |