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

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

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

\subsection{Value only\label{Section--value-only}}%
\label{Section--val-foo}\ocamlcodefragment{\ocamltag{keyword}{val} foo : unit}\\
\subsection{Empty section\label{Section--empty-section_2}}%
\subsection{within a comment\label{Section--within-a-comment}}%
\subsubsection{and one with a nested section\label{Section--and-one-with-a-nested-section}}%
\subsection{\emph{This} \ocamlinlinecode{section} \bold{title} \textsubscript{has} \textsuperscript{markup}\label{Section--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.



