jon.recoil.org
this repo has no description
1<!DOCTYPE html>
2<html xmlns="http://www.w3.org/1999/xhtml">
3 <head><title>Section (Section)</title><meta charset="utf-8"/>
4 <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> » Section
13 </nav>
14 <header class="odoc-preamble">
15 <h1>Module <code><span>Section</span></code></h1>
16 <p>This is the module comment. Eventually, sections won't be allowed
17 in it.
18 </p>
19 </header>
20 <div class="odoc-tocs">
21 <nav class="odoc-toc odoc-local-toc">
22 <ul><li><a href="#empty-section">Empty section</a></li>
23 <li><a href="#text-only">Text only</a></li>
24 <li><a href="#aside-only">Aside only</a></li>
25 <li><a href="#value-only">Value only</a></li>
26 <li><a href="#empty-section_2">Empty section</a></li>
27 <li><a href="#within-a-comment">within a comment</a>
28 <ul>
29 <li>
30 <a href="#and-one-with-a-nested-section">and one with a nested
31 section
32 </a>
33 </li>
34 </ul>
35 </li>
36 <li>
37 <a href="#this-section-title-has-markup"><em>This</em>
38 <code>section</code> <b>title</b> <sub>has</sub> <sup>markup</sup>
39 </a>
40 </li>
41 </ul>
42 </nav>
43 </div>
44 <div class="odoc-content">
45 <h2 id="empty-section"><a href="#empty-section" class="anchor"></a>
46 Empty section
47 </h2>
48 <h2 id="text-only"><a href="#text-only" class="anchor"></a>Text only</h2>
49 <p>Foo bar.</p>
50 <h2 id="aside-only"><a href="#aside-only" class="anchor"></a>Aside only
51 </h2><p>Foo bar.</p>
52 <h2 id="value-only"><a href="#value-only" class="anchor"></a>Value only
53 </h2>
54 <div class="odoc-spec">
55 <div class="spec value anchored" id="val-foo">
56 <a href="#val-foo" class="anchor"></a>
57 <code><span><span class="keyword">val</span> foo : unit</span></code>
58 </div>
59 </div>
60 <h2 id="empty-section_2"><a href="#empty-section_2" class="anchor"></a>
61 Empty section
62 </h2>
63 <h2 id="within-a-comment"><a href="#within-a-comment" class="anchor"></a>
64 within a comment
65 </h2>
66 <h3 id="and-one-with-a-nested-section">
67 <a href="#and-one-with-a-nested-section" class="anchor"></a>and one
68 with a nested section
69 </h3>
70 <h2 id="this-section-title-has-markup">
71 <a href="#this-section-title-has-markup" class="anchor"></a><em>This</em>
72 <code>section</code> <b>title</b> <sub>has</sub> <sup>markup</sup>
73 </h2>
74 <p>But links are impossible thanks to the parser, so we never have
75 trouble rendering a section title in a table of contents - no link
76 will be nested inside another link.
77 </p>
78 </div>
79 </body>
80</html>