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
|
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml">
<head><title>mld (mld)</title><meta charset="utf-8"/>
<link rel="stylesheet" href="odoc.css"/>
<meta name="generator" content="odoc 3.1.0"/>
<meta name="viewport" content="width=device-width,initial-scale=1.0"/>
<script src="highlight.pack.js"></script>
<script>hljs.initHighlightingOnLoad();</script>
</head>
<body class="odoc">
<nav class="odoc-nav"><a href="index.html">Up</a> –
<a href="index.html">Index</a> » mld
</nav>
<header class="odoc-preamble">
<h1 id="mld-page"><a href="#mld-page" class="anchor"></a>Mld Page</h1>
<p>This is an <code>.mld</code> file. It doesn't have an auto-generated
title, like modules and other pages generated fully by odoc do.
</p><p>It will have a TOC generated from section headings.</p>
</header>
<div class="odoc-tocs">
<nav class="odoc-toc odoc-local-toc">
<ul><li><a href="#section">Section</a></li>
<li><a href="#another-section">Another section</a>
<ul><li><a href="#subsection">Subsection</a></li>
<li><a href="#another-subsection">Another Subsection</a></li>
</ul>
</li>
</ul>
</nav>
</div>
<div class="odoc-content">
<h2 id="section"><a href="#section" class="anchor"></a>Section</h2>
<p>This is a section.</p><p>Another paragraph in section.</p>
<h2 id="another-section"><a href="#another-section" class="anchor"></a>
Another section
</h2><p>This is another section.</p><p>Another paragraph in section 2.</p>
<h3 id="subsection"><a href="#subsection" class="anchor"></a>Subsection
</h3><p>This is a subsection.</p><p>Another paragraph in subsection.</p>
<p>Yet another paragraph in subsection.</p>
<h3 id="another-subsection">
<a href="#another-subsection" class="anchor"></a>Another Subsection
</h3><p>This is another subsection.</p>
<p>Another paragraph in subsection 2.</p>
<p>Yet another paragraph in subsection 2.</p>
</div>
</body>
</html>
|
