jon.recoil.org
this repo has no description
1<!DOCTYPE html>
2<html xmlns="http://www.w3.org/1999/xhtml">
3 <head><title>Include2 (Include2)</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> » Include2
13 </nav>
14 <header class="odoc-preamble">
15 <h1>Module <code><span>Include2</span></code></h1>
16 </header>
17 <div class="odoc-content">
18 <div class="odoc-spec">
19 <div class="spec module anchored" id="module-X">
20 <a href="#module-X" class="anchor"></a>
21 <code>
22 <span><span class="keyword">module</span>
23 <a href="Include2-X.html">X</a>
24 </span>
25 <span> : <span class="keyword">sig</span> ...
26 <span class="keyword">end</span>
27 </span>
28 </code>
29 </div>
30 <div class="spec-doc">
31 <p>Comment about X that should not appear when including X below.</p>
32 </div>
33 </div>
34 <div class="odoc-include">
35 <details open="open">
36 <summary class="spec include">
37 <code>
38 <span><span class="keyword">include</span>
39 <span class="keyword">module</span> <span class="keyword">type</span>
40 <span class="keyword">of</span> <span class="keyword">struct</span>
41 <span class="keyword">include</span>
42 <a href="Include2-X.html">Include2.X</a>
43 <span class="keyword">end</span>
44 </span>
45 </code>
46 </summary>
47 <div class="odoc-spec">
48 <div class="spec type anchored" id="type-t">
49 <a href="#type-t" class="anchor"></a>
50 <code><span><span class="keyword">type</span> t</span>
51 <span> = int</span>
52 </code>
53 </div>
54 </div>
55 </details>
56 </div>
57 <div class="odoc-spec">
58 <div class="spec module anchored" id="module-Y">
59 <a href="#module-Y" class="anchor"></a>
60 <code>
61 <span><span class="keyword">module</span>
62 <a href="Include2-Y.html">Y</a>
63 </span>
64 <span> : <span class="keyword">sig</span> ...
65 <span class="keyword">end</span>
66 </span>
67 </code>
68 </div><div class="spec-doc"><p>Top-comment of Y.</p></div>
69 </div>
70 <div class="odoc-spec">
71 <div class="spec module anchored" id="module-Y_include_synopsis">
72 <a href="#module-Y_include_synopsis" class="anchor"></a>
73 <code>
74 <span><span class="keyword">module</span>
75 <a href="Include2-Y_include_synopsis.html">Y_include_synopsis</a>
76 </span>
77 <span> : <span class="keyword">sig</span> ...
78 <span class="keyword">end</span>
79 </span>
80 </code>
81 </div>
82 <div class="spec-doc">
83 <p>The <code>include Y</code> below should have the synopsis from
84 <code>Y</code>'s top-comment attached to it.
85 </p>
86 </div>
87 </div>
88 <div class="odoc-spec">
89 <div class="spec module anchored" id="module-Y_include_doc">
90 <a href="#module-Y_include_doc" class="anchor"></a>
91 <code>
92 <span><span class="keyword">module</span>
93 <a href="Include2-Y_include_doc.html">Y_include_doc</a>
94 </span>
95 <span> : <span class="keyword">sig</span> ...
96 <span class="keyword">end</span>
97 </span>
98 </code>
99 </div>
100 </div>
101 </div>
102 </body>
103</html>