\section{Module \ocamlinlinecode{Include\_\allowbreak{}sections}}\label{Include_sections}%
\label{Include_sections--module-type-Something}\ocamlcodefragment{\ocamltag{keyword}{module} \ocamltag{keyword}{type} \hyperref[Include_sections-module-type-Something]{\ocamlinlinecode{Something}}}\label{Include_sections-module-type-Something}\ocamlcodefragment{ = \ocamltag{keyword}{sig}}\begin{ocamlindent}\label{Include_sections-module-type-Something--val-something}\ocamlcodefragment{\ocamltag{keyword}{val} something : unit}\\
\subsubsection{Something 1\label{Include_sections-module-type-Something--something-1}}%
foo

\label{Include_sections-module-type-Something--val-foo}\ocamlcodefragment{\ocamltag{keyword}{val} foo : unit}\\
\subsubsection{Something 2\label{Include_sections-module-type-Something--something-2}}%
\label{Include_sections-module-type-Something--val-bar}\ocamlcodefragment{\ocamltag{keyword}{val} bar : unit}\begin{ocamlindent}foo bar\end{ocamlindent}%
\medbreak
\subsubsection{Something 1-bis\label{Include_sections-module-type-Something--something-1-bis}}%
Some text.

\end{ocamlindent}%
\ocamlcodefragment{\ocamltag{keyword}{end}}\begin{ocamlindent}A module type.\end{ocamlindent}%
\medbreak
Let's include \hyperref[Include_sections-module-type-Something]{\ocamlinlinecode{\ocamlinlinecode{Something}}[p\pageref*{Include_sections-module-type-Something}]} once

\ocamltag{keyword}{include} \hyperref[Include_sections-module-type-Something]{\ocamlinlinecode{Something}}\subsection{Something 1\label{Include_sections--something-1_2}}%
foo

\subsubsection{Something 2\label{Include_sections--something-2_2}}%
\subsection{Something 1-bis\label{Include_sections--something-1-bis_2}}%
Some text.

\subsection{Second include\label{Include_sections--second-include}}%
Let's include \hyperref[Include_sections-module-type-Something]{\ocamlinlinecode{\ocamlinlinecode{Something}}[p\pageref*{Include_sections-module-type-Something}]} a second time: the heading level should be shift here.

\ocamltag{keyword}{include} \hyperref[Include_sections-module-type-Something]{\ocamlinlinecode{Something}}\subsection{Something 1\label{Include_sections--something-1_3}}%
foo

\subsubsection{Something 2\label{Include_sections--something-2_3}}%
\subsection{Something 1-bis\label{Include_sections--something-1-bis_3}}%
Some text.

\subsubsection{Third include\label{Include_sections--third-include}}%
Shifted some more.

\ocamltag{keyword}{include} \hyperref[Include_sections-module-type-Something]{\ocamlinlinecode{Something}}\subsection{Something 1\label{Include_sections--something-1_4}}%
foo

\subsubsection{Something 2\label{Include_sections--something-2_4}}%
\subsection{Something 1-bis\label{Include_sections--something-1-bis_4}}%
Some text.

And let's include it again, but without inlining it this time: the ToC shouldn't grow.

\ocamltag{keyword}{include} \hyperref[Include_sections-module-type-Something]{\ocamlinlinecode{Something}}\label{Include_sections--val-something}\ocamlcodefragment{\ocamltag{keyword}{val} something : unit}\\
\subsection{Something 1\label{Include_sections--something-1_5}}%
foo

\label{Include_sections--val-foo}\ocamlcodefragment{\ocamltag{keyword}{val} foo : unit}\\
\subsubsection{Something 2\label{Include_sections--something-2_5}}%
\label{Include_sections--val-bar}\ocamlcodefragment{\ocamltag{keyword}{val} bar : unit}\begin{ocamlindent}foo bar\end{ocamlindent}%
\medbreak
\subsection{Something 1-bis\label{Include_sections--something-1-bis_5}}%
Some text.



