jon.recoil.org
this repo has no description
1<!DOCTYPE html>
2<html xmlns="http://www.w3.org/1999/xhtml">
3 <head><title>Include_sections (Include_sections)</title>
4 <meta charset="utf-8"/><link rel="stylesheet" href="odoc.css"/>
5 <meta name="generator" content="odoc %%VERSION%%"/>
6 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
7 <script src="highlight.pack.js"></script>
8 <script>hljs.initHighlightingOnLoad();</script>
9 </head>
10 <body class="odoc">
11 <nav class="odoc-nav"><a href="index.html">Up</a> –
12 <a href="index.html">Index</a> » Include_sections
13 </nav>
14 <header class="odoc-preamble">
15 <h1>Module <code><span>Include_sections</span></code></h1>
16 </header>
17 <div class="odoc-tocs">
18 <nav class="odoc-toc odoc-local-toc">
19 <ul>
20 <li><a href="#something-1">Something 1</a>
21 <ul><li><a href="#something-2">Something 2</a></li></ul>
22 </li><li><a href="#something-1-bis">Something 1-bis</a></li>
23 <li><a href="#second-include">Second include</a>
24 <ul>
25 <li><a href="#something-1_2">Something 1</a>
26 <ul><li><a href="#something-2_2">Something 2</a></li></ul>
27 </li><li><a href="#something-1-bis_2">Something 1-bis</a></li>
28 <li><a href="#third-include">Third include</a>
29 <ul>
30 <li><a href="#something-1_3">Something 1</a>
31 <ul><li><a href="#something-2_3">Something 2</a></li></ul>
32 </li><li><a href="#something-1-bis_3">Something 1-bis</a></li>
33 </ul>
34 </li>
35 </ul>
36 </li>
37 </ul>
38 </nav>
39 </div>
40 <div class="odoc-content">
41 <div class="odoc-spec">
42 <div class="spec module-type anchored" id="module-type-Something">
43 <a href="#module-type-Something" class="anchor"></a>
44 <code>
45 <span><span class="keyword">module</span>
46 <span class="keyword">type</span>
47 <a href="Include_sections-module-type-Something.html">Something</a>
48 </span>
49 <span> = <span class="keyword">sig</span> ...
50 <span class="keyword">end</span>
51 </span>
52 </code>
53 </div><div class="spec-doc"><p>A module type.</p></div>
54 </div>
55 <p>Let's include
56 <a href="Include_sections-module-type-Something.html">
57 <code>Something</code>
58 </a> once
59 </p>
60 <h2 id="something-1"><a href="#something-1" class="anchor"></a>Something 1
61 </h2><p>foo</p>
62 <h3 id="something-2"><a href="#something-2" class="anchor"></a>Something 2
63 </h3>
64 <h2 id="something-1-bis"><a href="#something-1-bis" class="anchor"></a>
65 Something 1-bis
66 </h2><p>Some text.</p>
67 <h2 id="second-include"><a href="#second-include" class="anchor"></a>
68 Second include
69 </h2>
70 <p>Let's include
71 <a href="Include_sections-module-type-Something.html">
72 <code>Something</code>
73 </a> a second time: the heading level should be shift here.
74 </p>
75 <h3 id="something-1_2"><a href="#something-1_2" class="anchor"></a>
76 Something 1
77 </h3><p>foo</p>
78 <h4 id="something-2_2"><a href="#something-2_2" class="anchor"></a>
79 Something 2
80 </h4>
81 <h3 id="something-1-bis_2">
82 <a href="#something-1-bis_2" class="anchor"></a>Something 1-bis
83 </h3><p>Some text.</p>
84 <h3 id="third-include"><a href="#third-include" class="anchor"></a>
85 Third include
86 </h3><p>Shifted some more.</p>
87 <h4 id="something-1_3"><a href="#something-1_3" class="anchor"></a>
88 Something 1
89 </h4><p>foo</p>
90 <h5 id="something-2_3"><a href="#something-2_3" class="anchor"></a>
91 Something 2
92 </h5>
93 <h4 id="something-1-bis_3">
94 <a href="#something-1-bis_3" class="anchor"></a>Something 1-bis
95 </h4><p>Some text.</p>
96 <p>And let's include it again, but without inlining it this time:
97 the ToC shouldn't grow.
98 </p>
99 <div class="odoc-include">
100 <details open="open">
101 <summary class="spec include">
102 <code>
103 <span><span class="keyword">include</span>
104 <a href="Include_sections-module-type-Something.html">
105 Include_sections.Something
106 </a>
107 </span>
108 </code>
109 </summary>
110 <div class="odoc-spec">
111 <div class="spec value anchored" id="val-something">
112 <a href="#val-something" class="anchor"></a>
113 <code><span><span class="keyword">val</span> something : unit</span>
114 </code>
115 </div>
116 </div>
117 <h2 id="something-1_4"><a href="#something-1_4" class="anchor"></a>
118 Something 1
119 </h2><p>foo</p>
120 <div class="odoc-spec">
121 <div class="spec value anchored" id="val-foo">
122 <a href="#val-foo" class="anchor"></a>
123 <code><span><span class="keyword">val</span> foo : unit</span></code>
124 </div>
125 </div>
126 <h3 id="something-2_4"><a href="#something-2_4" class="anchor"></a>
127 Something 2
128 </h3>
129 <div class="odoc-spec">
130 <div class="spec value anchored" id="val-bar">
131 <a href="#val-bar" class="anchor"></a>
132 <code><span><span class="keyword">val</span> bar : unit</span></code>
133 </div><div class="spec-doc"><p>foo bar</p></div>
134 </div>
135 <h2 id="something-1-bis_4">
136 <a href="#something-1-bis_4" class="anchor"></a>Something 1-bis
137 </h2><p>Some text.</p>
138 </details>
139 </div>
140 </div>
141 </body>
142</html>