this repo has no description
1<!DOCTYPE html>
2<html xmlns="http://www.w3.org/1999/xhtml">
3 <head><title>X (Functor2.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="Functor2.html">Up</a> –
12 <a href="index.html">Index</a> »
13 <a href="Functor2.html">Functor2</a> » X
14 </nav>
15 <header class="odoc-preamble">
16 <h1>Module <code><span>Functor2.X</span></code></h1>
17 </header>
18 <div class="odoc-tocs">
19 <nav class="odoc-toc odoc-local-toc">
20 <ul><li><a href="#parameters">Parameters</a></li>
21 <li><a href="#signature">Signature</a></li>
22 </ul>
23 </nav>
24 </div>
25 <div class="odoc-content">
26 <h2 id="parameters"><a href="#parameters" class="anchor"></a>Parameters
27 </h2>
28 <div class="odoc-spec">
29 <div class="spec parameter anchored" id="argument-1-Y">
30 <a href="#argument-1-Y" class="anchor"></a>
31 <code><span><span class="keyword">module</span> </span>
32 <span><a href="Functor2-X-argument-1-Y.html">Y</a></span>
33 <span> : <a href="Functor2-module-type-S.html">Functor2.S</a></span>
34 </code>
35 </div>
36 </div>
37 <div class="odoc-spec">
38 <div class="spec parameter anchored" id="argument-2-Z">
39 <a href="#argument-2-Z" class="anchor"></a>
40 <code><span><span class="keyword">module</span> </span>
41 <span><a href="Functor2-X-argument-2-Z.html">Z</a></span>
42 <span> : <a href="Functor2-module-type-S.html">Functor2.S</a></span>
43 </code>
44 </div>
45 </div>
46 <h2 id="signature"><a href="#signature" class="anchor"></a>Signature</h2>
47 <div class="odoc-spec">
48 <div class="spec type anchored" id="type-y_t">
49 <a href="#type-y_t" class="anchor"></a>
50 <code><span><span class="keyword">type</span> y_t</span>
51 <span> = <a href="Functor2-X-argument-1-Y.html#type-t">Y.t</a></span>
52 </code>
53 </div>
54 </div>
55 <div class="odoc-spec">
56 <div class="spec type anchored" id="type-z_t">
57 <a href="#type-z_t" class="anchor"></a>
58 <code><span><span class="keyword">type</span> z_t</span>
59 <span> = <a href="Functor2-X-argument-2-Z.html#type-t">Z.t</a></span>
60 </code>
61 </div>
62 </div>
63 <div class="odoc-spec">
64 <div class="spec type anchored" id="type-x_t">
65 <a href="#type-x_t" class="anchor"></a>
66 <code><span><span class="keyword">type</span> x_t</span>
67 <span> = <a href="#type-y_t">y_t</a></span>
68 </code>
69 </div>
70 </div>
71 </div>
72 </body>
73</html>