Forward references to module type extensions

OlivierNicole · Feb 5, 2017 · f680d31 · f680d31
1 parent 1242bca
commit f680d31
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 1 deletion.
diff --git a/manual/manual/refman/exten.etex b/manual/manual/refman/exten.etex
@@ -857,7 +857,7 @@ Note that this function uses an explicit polymorphic annotation to obtain
 polymorphic recursion.
 \fi
 
-\section{Recovering the type of a module}
+\section{Recovering the type of a module} \label{s:module-type-of}
 
 \ikwd{module\@\texttt{module}}
 \ikwd{type\@\texttt{type}}
@@ -915,6 +915,7 @@ it to represent sets internally in a different way.
 \ikwd{with\@\texttt{with}}
 \ikwd{module\@\texttt{module}}
 \ikwd{type\@\texttt{type}}
+\label{s:signature-substitution}
 
 (Introduced in OCaml 3.12)
 

diff --git a/manual/manual/refman/modtypes.etex b/manual/manual/refman/modtypes.etex
@@ -51,6 +51,13 @@ specification:
         | 'open' module-path
         | 'include' module-type
 \end{syntax}
+See also the following language extensions:
+\hyperref[s:module-type-of]{recovering the type of a module},
+\hyperref[s:signature-substitution]{substitution inside a signature},
+\hyperref[s:module-alias]{type-level module aliases},
+\hyperref[s:attributes]{attributes},
+\hyperref[s:extension-nodes]{extension nodes} and
+\hyperref[s:generative-functors]{generative functors}.
 
 \subsection{Simple module types}