this repo has no description
1<!DOCTYPE html>
2<html xmlns="http://www.w3.org/1999/xhtml">
3 <head><title>Y (Recent.Z.Y)</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-Z.html">Up</a> –
12 <a href="index.html">Index</a> » <a href="Recent.html">Recent</a>
13 » <a href="Recent-Z.html">Z</a> » Y
14 </nav>
15 <header class="odoc-preamble"><h1>Module <code><span>Z.Y</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="Recent-Z-Y-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>
31 </div>
32 </body>
33</html>