1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
|
\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}}}\ocamlcodefragment{ = \ocamltag{keyword}{sig}}\begin{ocamlindent}\label{Include_sections-module-type-Something-val-something}\ocamlcodefragment{\ocamltag{keyword}{val} something : unit}\\
\subsubsection{Something 1\label{something-1}}%
foo
\label{Include_sections-module-type-Something-val-foo}\ocamlcodefragment{\ocamltag{keyword}{val} foo : unit}\\
\subsubsection{Something 2\label{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{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{something-1_2}}%
foo
\subsubsection{Something 2\label{something-2_2}}%
\subsection{Something 1-bis\label{something-1-bis_2}}%
Some text.
\subsection{Second include\label{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{something-1_3}}%
foo
\subsubsection{Something 2\label{something-2_3}}%
\subsection{Something 1-bis\label{something-1-bis_3}}%
Some text.
\subsubsection{Third include\label{third-include}}%
Shifted some more.
\ocamltag{keyword}{include} \hyperref[Include_sections-module-type-Something]{\ocamlinlinecode{Something}}\subsection{Something 1\label{something-1_4}}%
foo
\subsubsection{Something 2\label{something-2_4}}%
\subsection{Something 1-bis\label{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{something-1_5}}%
foo
\label{Include_sections-val-foo}\ocamlcodefragment{\ocamltag{keyword}{val} foo : unit}\\
\subsubsection{Something 2\label{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{something-1-bis_5}}%
Some text.
|
