\section{Module \ocamlinlinecode{Section}}\label{module-Section}%
This is the module comment. Eventually, sections won't be allowed in it.

\subsection{Empty section\label{empty-section}}%
\subsection{Text only\label{text-only}}%
Foo bar.

\subsection{Aside only\label{aside-only}}%
Foo bar.

\subsection{Value only\label{value-only}}%
\label{module-Section-val-foo}\ocamlcodefragment{\ocamltag{keyword}{val} foo : unit}\\
\subsection{Empty section\label{empty-section_2}}%
\subsection{within a comment\label{within-a-comment}}%
\subsubsection{and one with a nested section\label{and-one-with-a-nested-section}}%
\subsection{\emph{This} \ocamlinlinecode{section} \bold{title} \textsubscript{has} \textsuperscript{markup}\label{this-section-title-has-markup}}%
But links are impossible thanks to the parser, so we never have trouble rendering a section title in a table of contents – no link will be nested inside another link.



