jon.recoil.org
this repo has no description
1<!DOCTYPE html>
2<html xmlns="http://www.w3.org/1999/xhtml">
3 <head><title>Recent (Recent)</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> » Recent
13 </nav>
14 <header class="odoc-preamble">
15 <h1>Module <code><span>Recent</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-S">
20 <a href="#module-type-S" class="anchor"></a>
21 <code>
22 <span><span class="keyword">module</span>
23 <span class="keyword">type</span>
24 <a href="Recent-module-type-S.html">S</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-spec">
33 <div class="spec module-type anchored" id="module-type-S1">
34 <a href="#module-type-S1" class="anchor"></a>
35 <code>
36 <span><span class="keyword">module</span>
37 <span class="keyword">type</span>
38 <a href="Recent-module-type-S1.html">S1</a>
39 </span>
40 <span> = <span class="keyword">functor</span>
41 <span> (<a href="Recent-module-type-S1-argument-1-_.html">_</a>
42 : <a href="Recent-module-type-S.html">Recent.S</a>)
43 <span class="arrow">-></span>
44 </span> <a href="Recent-module-type-S.html">Recent.S</a>
45 </span>
46 </code>
47 </div>
48 </div>
49 <div class="odoc-spec">
50 <div class="spec type anchored" id="type-variant">
51 <a href="#type-variant" class="anchor"></a>
52 <code><span><span class="keyword">type</span> variant</span>
53 <span> = </span>
54 </code>
55 <ol>
56 <li id="type-variant.A" class="def variant constructor anchored">
57 <a href="#type-variant.A" class="anchor"></a>
58 <code><span>| </span><span><span class="constructor">A</span></span>
59 </code>
60 </li>
61 <li id="type-variant.B" class="def variant constructor anchored">
62 <a href="#type-variant.B" class="anchor"></a>
63 <code><span>| </span>
64 <span><span class="constructor">B</span>
65 <span class="keyword">of</span> int
66 </span>
67 </code>
68 </li>
69 <li id="type-variant.C" class="def variant constructor anchored">
70 <a href="#type-variant.C" class="anchor"></a>
71 <code><span>| </span><span><span class="constructor">C</span></span>
72 </code>
73 <div class="def-doc"><span class="comment-delim">(*</span><p>foo</p>
74 <span class="comment-delim">*)</span>
75 </div>
76 </li>
77 <li id="type-variant.D" class="def variant constructor anchored">
78 <a href="#type-variant.D" class="anchor"></a>
79 <code><span>| </span><span><span class="constructor">D</span></span>
80 </code>
81 <div class="def-doc"><span class="comment-delim">(*</span>
82 <p><em>bar</em></p><span class="comment-delim">*)</span>
83 </div>
84 </li>
85 <li id="type-variant.E" class="def variant constructor anchored">
86 <a href="#type-variant.E" class="anchor"></a>
87 <code><span>| </span>
88 <span><span class="constructor">E</span>
89 <span class="keyword">of</span>
90 </span><span>{</span>
91 </code>
92 <ol>
93 <li id="type-variant.a" class="def record field anchored">
94 <a href="#type-variant.a" class="anchor"></a>
95 <code><span>a : int;</span></code>
96 </li>
97 </ol><code><span>}</span></code>
98 </li>
99 </ol>
100 </div>
101 </div>
102 <div class="odoc-spec">
103 <div class="spec type anchored" id="type-gadt">
104 <a href="#type-gadt" class="anchor"></a>
105 <code><span><span class="keyword">type</span> <span>_ gadt</span></span>
106 <span> = </span>
107 </code>
108 <ol>
109 <li id="type-gadt.A" class="def variant constructor anchored">
110 <a href="#type-gadt.A" class="anchor"></a>
111 <code><span>| </span>
112 <span><span class="constructor">A</span> :
113 <span>int <a href="#type-gadt">Recent.gadt</a></span>
114 </span>
115 </code>
116 </li>
117 <li id="type-gadt.B" class="def variant constructor anchored">
118 <a href="#type-gadt.B" class="anchor"></a>
119 <code><span>| </span>
120 <span><span class="constructor">B</span> : int
121 <span class="arrow">-></span>
122 <span>string <a href="#type-gadt">Recent.gadt</a></span>
123 </span>
124 </code>
125 <div class="def-doc"><span class="comment-delim">(*</span><p>foo</p>
126 <span class="comment-delim">*)</span>
127 </div>
128 </li>
129 <li id="type-gadt.C" class="def variant constructor anchored">
130 <a href="#type-gadt.C" class="anchor"></a>
131 <code><span>| </span>
132 <span><span class="constructor">C</span> : </span><span>{</span>
133 </code>
134 <ol>
135 <li id="type-gadt.a" class="def record field anchored">
136 <a href="#type-gadt.a" class="anchor"></a>
137 <code><span>a : int;</span></code>
138 </li>
139 </ol>
140 <code><span>}</span>
141 <span> <span class="arrow">-></span>
142 <span>unit <a href="#type-gadt">Recent.gadt</a></span>
143 </span>
144 </code>
145 </li>
146 </ol>
147 </div>
148 </div>
149 <div class="odoc-spec">
150 <div class="spec type anchored" id="type-polymorphic_variant">
151 <a href="#type-polymorphic_variant" class="anchor"></a>
152 <code><span><span class="keyword">type</span> polymorphic_variant</span>
153 <span> = </span><span>[ </span>
154 </code>
155 <ol>
156 <li id="type-polymorphic_variant.A" class="def variant constructor
157 anchored"><a href="#type-polymorphic_variant.A" class="anchor"></a>
158 <code><span>| </span><span>`A</span></code>
159 </li>
160 <li id="type-polymorphic_variant.B" class="def variant constructor
161 anchored"><a href="#type-polymorphic_variant.B" class="anchor"></a>
162 <code><span>| </span>
163 <span>`B <span class="keyword">of</span> int</span>
164 </code>
165 </li>
166 <li id="type-polymorphic_variant.C" class="def variant constructor
167 anchored"><a href="#type-polymorphic_variant.C" class="anchor"></a>
168 <code><span>| </span><span>`C</span></code>
169 <div class="def-doc"><span class="comment-delim">(*</span><p>foo</p>
170 <span class="comment-delim">*)</span>
171 </div>
172 </li>
173 <li id="type-polymorphic_variant.D" class="def variant constructor
174 anchored"><a href="#type-polymorphic_variant.D" class="anchor"></a>
175 <code><span>| </span><span>`D</span></code>
176 <div class="def-doc"><span class="comment-delim">(*</span><p>bar</p>
177 <span class="comment-delim">*)</span>
178 </div>
179 </li>
180 </ol><code><span> ]</span></code>
181 </div>
182 </div>
183 <div class="odoc-spec">
184 <div class="spec type anchored" id="type-empty_variant">
185 <a href="#type-empty_variant" class="anchor"></a>
186 <code><span><span class="keyword">type</span> empty_variant</span>
187 <span> = </span><span>|</span>
188 </code>
189 </div>
190 </div>
191 <div class="odoc-spec">
192 <div class="spec type anchored" id="type-nonrec_">
193 <a href="#type-nonrec_" class="anchor"></a>
194 <code>
195 <span><span class="keyword">type</span>
196 <span class="keyword">nonrec</span> nonrec_
197 </span><span> = int</span>
198 </code>
199 </div>
200 </div>
201 <div class="odoc-spec">
202 <div class="spec type anchored" id="type-empty_conj">
203 <a href="#type-empty_conj" class="anchor"></a>
204 <code><span><span class="keyword">type</span> empty_conj</span>
205 <span> = </span>
206 </code>
207 <ol>
208 <li id="type-empty_conj.X" class="def variant constructor anchored">
209 <a href="#type-empty_conj.X" class="anchor"></a>
210 <code><span>| </span>
211 <span><span class="constructor">X</span> :
212 <span>[<
213 <span>`X of & <span class="type-var">'a</span> & int
214 * float
215 </span> ]
216 </span> <span class="arrow">-></span>
217 <a href="#type-empty_conj">Recent.empty_conj</a>
218 </span>
219 </code>
220 </li>
221 </ol>
222 </div>
223 </div>
224 <div class="odoc-spec">
225 <div class="spec type anchored" id="type-conj">
226 <a href="#type-conj" class="anchor"></a>
227 <code><span><span class="keyword">type</span> conj</span>
228 <span> = </span>
229 </code>
230 <ol>
231 <li id="type-conj.X" class="def variant constructor anchored">
232 <a href="#type-conj.X" class="anchor"></a>
233 <code><span>| </span>
234 <span><span class="constructor">X</span> :
235 <span>[<
236 <span>`X of int &
237 <span>[< <span>`B of int & float</span> ]</span>
238 </span> ]
239 </span> <span class="arrow">-></span>
240 <a href="#type-conj">Recent.conj</a>
241 </span>
242 </code>
243 </li>
244 </ol>
245 </div>
246 </div>
247 <div class="odoc-spec">
248 <div class="spec value anchored" id="val-empty_conj">
249 <a href="#val-empty_conj" class="anchor"></a>
250 <code>
251 <span><span class="keyword">val</span> empty_conj :
252 <span>[<
253 <span>`X of & <span class="type-var">'a</span> & int * float
254 </span> ]
255 </span>
256 </span>
257 </code>
258 </div>
259 </div>
260 <div class="odoc-spec">
261 <div class="spec value anchored" id="val-conj">
262 <a href="#val-conj" class="anchor"></a>
263 <code>
264 <span><span class="keyword">val</span> conj :
265 <span>[<
266 <span>`X of int &
267 <span>[< <span>`B of int & float</span> ]</span>
268 </span> ]
269 </span>
270 </span>
271 </code>
272 </div>
273 </div>
274 <div class="odoc-spec">
275 <div class="spec module anchored" id="module-Z">
276 <a href="#module-Z" class="anchor"></a>
277 <code>
278 <span><span class="keyword">module</span> <a href="Recent-Z.html">Z</a>
279 </span>
280 <span> : <span class="keyword">sig</span> ...
281 <span class="keyword">end</span>
282 </span>
283 </code>
284 </div>
285 </div>
286 <div class="odoc-spec">
287 <div class="spec module anchored" id="module-X">
288 <a href="#module-X" class="anchor"></a>
289 <code>
290 <span><span class="keyword">module</span> <a href="Recent-X.html">X</a>
291 </span>
292 <span> : <span class="keyword">sig</span> ...
293 <span class="keyword">end</span>
294 </span>
295 </code>
296 </div>
297 </div>
298 <div class="odoc-spec">
299 <div class="spec module-type anchored" id="module-type-PolyS">
300 <a href="#module-type-PolyS" class="anchor"></a>
301 <code>
302 <span><span class="keyword">module</span>
303 <span class="keyword">type</span>
304 <a href="Recent-module-type-PolyS.html">PolyS</a>
305 </span>
306 <span> = <span class="keyword">sig</span> ...
307 <span class="keyword">end</span>
308 </span>
309 </code>
310 </div>
311 </div>
312 <div class="odoc-spec">
313 <div class="spec type anchored" id="type-phantom">
314 <a href="#type-phantom" class="anchor"></a>
315 <code>
316 <span><span class="keyword">type</span> <span>+-'a phantom</span>
317 </span>
318 </code>
319 </div>
320 </div>
321 <div class="odoc-spec">
322 <div class="spec value anchored" id="val-f">
323 <a href="#val-f" class="anchor"></a>
324 <code>
325 <span><span class="keyword">val</span> f :
326 <span>
327 <span><span>(x:int * y:int)</span>
328 <a href="#type-phantom">Recent.phantom</a>
329 </span> <span class="arrow">-></span>
330 </span> unit
331 </span>
332 </code>
333 </div>
334 </div>
335 </div>
336 </body>
337</html>