jon.recoil.org
this repo has no description
1<!DOCTYPE html>
2<html xmlns="http://www.w3.org/1999/xhtml">
3 <head><title>Module (Module)</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> » Module
13 </nav>
14 <header class="odoc-preamble">
15 <h1>Module <code><span>Module</span></code></h1><p>Foo.</p>
16 </header>
17 <div class="odoc-content">
18 <div class="odoc-spec">
19 <div class="spec value anchored" id="val-foo">
20 <a href="#val-foo" class="anchor"></a>
21 <code><span><span class="keyword">val</span> foo : unit</span></code>
22 </div>
23 <div class="spec-doc">
24 <p>The module needs at least one signature item, otherwise a bug
25 causes the compiler to drop the module comment (above). See
26 <a href="https://caml.inria.fr/mantis/view.php?id=7701">
27 https://caml.inria.fr/mantis/view.php?id=7701
28 </a>.
29 </p>
30 </div>
31 </div>
32 <div class="odoc-spec">
33 <div class="spec module-type anchored" id="module-type-S">
34 <a href="#module-type-S" class="anchor"></a>
35 <code>
36 <span><span class="keyword">module</span>
37 <span class="keyword">type</span>
38 <a href="Module-module-type-S.html">S</a>
39 </span>
40 <span> = <span class="keyword">sig</span> ...
41 <span class="keyword">end</span>
42 </span>
43 </code>
44 </div>
45 </div>
46 <div class="odoc-spec">
47 <div class="spec module-type anchored" id="module-type-S1">
48 <a href="#module-type-S1" class="anchor"></a>
49 <code>
50 <span><span class="keyword">module</span>
51 <span class="keyword">type</span> S1
52 </span>
53 </code>
54 </div>
55 </div>
56 <div class="odoc-spec">
57 <div class="spec module-type anchored" id="module-type-S2">
58 <a href="#module-type-S2" class="anchor"></a>
59 <code>
60 <span><span class="keyword">module</span>
61 <span class="keyword">type</span> S2
62 </span><span> = <a href="Module-module-type-S.html">Module.S</a></span>
63 </code>
64 </div>
65 </div>
66 <div class="odoc-spec">
67 <div class="spec module-type anchored" id="module-type-S3">
68 <a href="#module-type-S3" class="anchor"></a>
69 <code>
70 <span><span class="keyword">module</span>
71 <span class="keyword">type</span>
72 <a href="Module-module-type-S3.html">S3</a>
73 </span>
74 <span> = <a href="Module-module-type-S.html">Module.S</a>
75 <span class="keyword">with</span>
76 <span><span class="keyword">type</span>
77 <a href="Module-module-type-S.html#type-t">t</a> = int
78 </span> <span class="keyword">and</span>
79 <span><span class="keyword">type</span>
80 <a href="Module-module-type-S.html#type-u">u</a> = string
81 </span>
82 </span>
83 </code>
84 </div>
85 </div>
86 <div class="odoc-spec">
87 <div class="spec module-type anchored" id="module-type-S4">
88 <a href="#module-type-S4" class="anchor"></a>
89 <code>
90 <span><span class="keyword">module</span>
91 <span class="keyword">type</span>
92 <a href="Module-module-type-S4.html">S4</a>
93 </span>
94 <span> = <a href="Module-module-type-S.html">Module.S</a>
95 <span class="keyword">with</span>
96 <span><span class="keyword">type</span>
97 <a href="Module-module-type-S.html#type-t">t</a> := int
98 </span>
99 </span>
100 </code>
101 </div>
102 </div>
103 <div class="odoc-spec">
104 <div class="spec module-type anchored" id="module-type-S5">
105 <a href="#module-type-S5" class="anchor"></a>
106 <code>
107 <span><span class="keyword">module</span>
108 <span class="keyword">type</span>
109 <a href="Module-module-type-S5.html">S5</a>
110 </span>
111 <span> = <a href="Module-module-type-S.html">Module.S</a>
112 <span class="keyword">with</span>
113 <span><span class="keyword">type</span>
114 <span>'a <a href="Module-module-type-S.html#type-v">v</a></span>
115 := <span><span class="type-var">'a</span> list</span>
116 </span>
117 </span>
118 </code>
119 </div>
120 </div>
121 <div class="odoc-spec">
122 <div class="spec type anchored" id="type-result">
123 <a href="#type-result" class="anchor"></a>
124 <code>
125 <span><span class="keyword">type</span> <span>('a, 'b) result</span>
126 </span>
127 </code>
128 </div>
129 </div>
130 <div class="odoc-spec">
131 <div class="spec module-type anchored" id="module-type-S6">
132 <a href="#module-type-S6" class="anchor"></a>
133 <code>
134 <span><span class="keyword">module</span>
135 <span class="keyword">type</span>
136 <a href="Module-module-type-S6.html">S6</a>
137 </span>
138 <span> = <a href="Module-module-type-S.html">Module.S</a>
139 <span class="keyword">with</span>
140 <span><span class="keyword">type</span>
141 <span>('a, 'b) <a href="Module-module-type-S.html#type-w">w</a>
142 </span> :=
143 <span>
144 <span>(<span class="type-var">'a</span>,
145 <span class="type-var">'b</span>)
146 </span> <a href="#type-result">Module.result</a>
147 </span>
148 </span>
149 </span>
150 </code>
151 </div>
152 </div>
153 <div class="odoc-spec">
154 <div class="spec module anchored" id="module-M'">
155 <a href="#module-M'" class="anchor"></a>
156 <code>
157 <span><span class="keyword">module</span>
158 <a href="Module-M'.html">M'</a>
159 </span>
160 <span> : <span class="keyword">sig</span> ...
161 <span class="keyword">end</span>
162 </span>
163 </code>
164 </div>
165 </div>
166 <div class="odoc-spec">
167 <div class="spec module-type anchored" id="module-type-S7">
168 <a href="#module-type-S7" class="anchor"></a>
169 <code>
170 <span><span class="keyword">module</span>
171 <span class="keyword">type</span>
172 <a href="Module-module-type-S7.html">S7</a>
173 </span>
174 <span> = <a href="Module-module-type-S.html">Module.S</a>
175 <span class="keyword">with</span>
176 <span><span class="keyword">module</span>
177 <a href="Module-module-type-S-M.html">M</a> =
178 <a href="Module-M'.html">Module.M'</a>
179 </span>
180 </span>
181 </code>
182 </div>
183 </div>
184 <div class="odoc-spec">
185 <div class="spec module-type anchored" id="module-type-S8">
186 <a href="#module-type-S8" class="anchor"></a>
187 <code>
188 <span><span class="keyword">module</span>
189 <span class="keyword">type</span>
190 <a href="Module-module-type-S8.html">S8</a>
191 </span>
192 <span> = <a href="Module-module-type-S.html">Module.S</a>
193 <span class="keyword">with</span>
194 <span><span class="keyword">module</span>
195 <a href="Module-module-type-S-M.html">M</a> :=
196 <a href="Module-M'.html">Module.M'</a>
197 </span>
198 </span>
199 </code>
200 </div>
201 </div>
202 <div class="odoc-spec">
203 <div class="spec module-type anchored" id="module-type-S9">
204 <a href="#module-type-S9" class="anchor"></a>
205 <code>
206 <span><span class="keyword">module</span>
207 <span class="keyword">type</span>
208 <a href="Module-module-type-S9.html">S9</a>
209 </span>
210 <span> = <span class="keyword">module</span>
211 <span class="keyword">type</span> <span class="keyword">of</span>
212 <a href="Module-M'.html">Module.M'</a>
213 </span>
214 </code>
215 </div>
216 </div>
217 <div class="odoc-spec">
218 <div class="spec module anchored" id="module-Mutually">
219 <a href="#module-Mutually" class="anchor"></a>
220 <code>
221 <span><span class="keyword">module</span>
222 <a href="Module-Mutually.html">Mutually</a>
223 </span>
224 <span> : <span class="keyword">sig</span> ...
225 <span class="keyword">end</span>
226 </span>
227 </code>
228 </div>
229 </div>
230 <div class="odoc-spec">
231 <div class="spec module anchored" id="module-Recursive">
232 <a href="#module-Recursive" class="anchor"></a>
233 <code>
234 <span><span class="keyword">module</span>
235 <a href="Module-Recursive.html">Recursive</a>
236 </span>
237 <span> : <span class="keyword">sig</span> ...
238 <span class="keyword">end</span>
239 </span>
240 </code>
241 </div>
242 </div>
243 </div>
244 </body>
245</html>