this repo has no description
1<!DOCTYPE html>
2<html xmlns="http://www.w3.org/1999/xhtml">
3 <head><title>X (Recent.X)</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="Recent.html">Up</a> –
12 <a href="index.html">Index</a> » <a href="Recent.html">Recent</a>
13 » X
14 </nav>
15 <header class="odoc-preamble">
16 <h1>Module <code><span>Recent.X</span></code></h1>
17 </header>
18 <div class="odoc-content">
19 <div class="odoc-spec">
20 <div class="spec module-substitution anchored" id="module-L">
21 <a href="#module-L" class="anchor"></a>
22 <code>
23 <span><span class="keyword">module</span> L :=
24 <a href="Recent-Z-Y.html">Recent.Z.Y</a>
25 </span>
26 </code>
27 </div>
28 </div>
29 <div class="odoc-spec">
30 <div class="spec type anchored" id="type-t">
31 <a href="#type-t" class="anchor"></a>
32 <code><span><span class="keyword">type</span> t</span>
33 <span> = <span>int <a href="Recent-Z-Y-X.html#type-t">L.X.t</a></span>
34 </span>
35 </code>
36 </div>
37 </div>
38 <div class="odoc-spec">
39 <div class="spec type subst anchored" id="type-u">
40 <a href="#type-u" class="anchor"></a>
41 <code><span><span class="keyword">type</span> u</span>
42 <span> := int</span>
43 </code>
44 </div>
45 </div>
46 <div class="odoc-spec">
47 <div class="spec type anchored" id="type-v">
48 <a href="#type-v" class="anchor"></a>
49 <code><span><span class="keyword">type</span> v</span>
50 <span> =
51 <span><a href="#type-u">Recent.X.u</a>
52 <a href="Recent-Z-Y-X.html#type-t">L.X.t</a>
53 </span>
54 </span>
55 </code>
56 </div>
57 </div>
58 </div>
59 </body>
60</html>