jon.recoil.org
this repo has no description
1<!DOCTYPE html>
2<html xmlns="http://www.w3.org/1999/xhtml">
3 <head><title>Include (Include)</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> » Include
13 </nav>
14 <header class="odoc-preamble">
15 <h1>Module <code><span>Include</span></code></h1>
16 </header>
17 <div class="odoc-content">
18 <div class="odoc-spec">
19 <div class="spec module-type anchored" id="module-type-Not_inlined">
20 <a href="#module-type-Not_inlined" class="anchor"></a>
21 <code>
22 <span><span class="keyword">module</span>
23 <span class="keyword">type</span>
24 <a href="Include-module-type-Not_inlined.html">Not_inlined</a>
25 </span>
26 <span> = <span class="keyword">sig</span> ...
27 <span class="keyword">end</span>
28 </span>
29 </code>
30 </div>
31 </div>
32 <div class="odoc-include">
33 <details open="open">
34 <summary class="spec include">
35 <code>
36 <span><span class="keyword">include</span>
37 <a href="Include-module-type-Not_inlined.html">Include.Not_inlined
38 </a>
39 </span>
40 </code>
41 </summary>
42 <div class="odoc-spec">
43 <div class="spec type anchored" id="type-t">
44 <a href="#type-t" class="anchor"></a>
45 <code><span><span class="keyword">type</span> t</span></code>
46 </div>
47 </div>
48 </details>
49 </div>
50 <div class="odoc-spec">
51 <div class="spec module-type anchored" id="module-type-Inlined">
52 <a href="#module-type-Inlined" class="anchor"></a>
53 <code>
54 <span><span class="keyword">module</span>
55 <span class="keyword">type</span>
56 <a href="Include-module-type-Inlined.html">Inlined</a>
57 </span>
58 <span> = <span class="keyword">sig</span> ...
59 <span class="keyword">end</span>
60 </span>
61 </code>
62 </div>
63 </div>
64 <div class="odoc-spec">
65 <div class="spec type anchored" id="type-u">
66 <a href="#type-u" class="anchor"></a>
67 <code><span><span class="keyword">type</span> u</span></code>
68 </div>
69 </div>
70 <div class="odoc-spec">
71 <div class="spec module-type anchored"
72 id="module-type-Not_inlined_and_closed">
73 <a href="#module-type-Not_inlined_and_closed" class="anchor"></a>
74 <code>
75 <span><span class="keyword">module</span>
76 <span class="keyword">type</span>
77 <a href="Include-module-type-Not_inlined_and_closed.html">
78 Not_inlined_and_closed
79 </a>
80 </span>
81 <span> = <span class="keyword">sig</span> ...
82 <span class="keyword">end</span>
83 </span>
84 </code>
85 </div>
86 </div>
87 <div class="odoc-include">
88 <details>
89 <summary class="spec include">
90 <code>
91 <span><span class="keyword">include</span>
92 <a href="Include-module-type-Not_inlined_and_closed.html">
93 Include.Not_inlined_and_closed
94 </a>
95 </span>
96 </code>
97 </summary>
98 <div class="odoc-spec">
99 <div class="spec type anchored" id="type-v">
100 <a href="#type-v" class="anchor"></a>
101 <code><span><span class="keyword">type</span> v</span></code>
102 </div>
103 </div>
104 </details>
105 </div>
106 <div class="odoc-spec">
107 <div class="spec module-type anchored"
108 id="module-type-Not_inlined_and_opened">
109 <a href="#module-type-Not_inlined_and_opened" class="anchor"></a>
110 <code>
111 <span><span class="keyword">module</span>
112 <span class="keyword">type</span>
113 <a href="Include-module-type-Not_inlined_and_opened.html">
114 Not_inlined_and_opened
115 </a>
116 </span>
117 <span> = <span class="keyword">sig</span> ...
118 <span class="keyword">end</span>
119 </span>
120 </code>
121 </div>
122 </div>
123 <div class="odoc-include">
124 <details open="open">
125 <summary class="spec include">
126 <code>
127 <span><span class="keyword">include</span>
128 <a href="Include-module-type-Not_inlined_and_opened.html">
129 Include.Not_inlined_and_opened
130 </a>
131 </span>
132 </code>
133 </summary>
134 <div class="odoc-spec">
135 <div class="spec type anchored" id="type-w">
136 <a href="#type-w" class="anchor"></a>
137 <code><span><span class="keyword">type</span> w</span></code>
138 </div>
139 </div>
140 </details>
141 </div>
142 <div class="odoc-spec">
143 <div class="spec module-type anchored" id="module-type-Inherent_Module">
144 <a href="#module-type-Inherent_Module" class="anchor"></a>
145 <code>
146 <span><span class="keyword">module</span>
147 <span class="keyword">type</span>
148 <a href="Include-module-type-Inherent_Module.html">Inherent_Module</a>
149 </span>
150 <span> = <span class="keyword">sig</span> ...
151 <span class="keyword">end</span>
152 </span>
153 </code>
154 </div>
155 </div>
156 <div class="odoc-include shadowed-include">
157 <details open="open">
158 <summary class="spec include">
159 <code>
160 <span><span class="keyword">include</span>
161 <a href="Include-module-type-Inherent_Module.html">
162 Include.Inherent_Module
163 </a>
164 </span>
165 </code>
166 </summary>
167 </details>
168 </div>
169 <div class="odoc-spec">
170 <div class="spec module-type anchored" id="module-type-Dorminant_Module">
171 <a href="#module-type-Dorminant_Module" class="anchor"></a>
172 <code>
173 <span><span class="keyword">module</span>
174 <span class="keyword">type</span>
175 <a href="Include-module-type-Dorminant_Module.html">Dorminant_Module
176 </a>
177 </span>
178 <span> = <span class="keyword">sig</span> ...
179 <span class="keyword">end</span>
180 </span>
181 </code>
182 </div>
183 </div>
184 <div class="odoc-include">
185 <details open="open">
186 <summary class="spec include">
187 <code>
188 <span><span class="keyword">include</span>
189 <a href="Include-module-type-Dorminant_Module.html">
190 Include.Dorminant_Module
191 </a>
192 </span>
193 </code>
194 </summary>
195 <div class="odoc-include shadowed-include">
196 <details open="open">
197 <summary class="spec include">
198 <code>
199 <span><span class="keyword">include</span>
200 <a href="Include-module-type-Inherent_Module.html">
201 Include.Inherent_Module
202 </a>
203 </span>
204 </code>
205 </summary>
206 </details>
207 </div>
208 <div class="odoc-spec">
209 <div class="spec value anchored" id="val-a">
210 <a href="#val-a" class="anchor"></a>
211 <code>
212 <span><span class="keyword">val</span> a :
213 <a href="#type-u">Include.u</a>
214 </span>
215 </code>
216 </div>
217 </div>
218 </details>
219 </div>
220 </div>
221 </body>
222</html>