jon.recoil.org
this repo has no description
1<!DOCTYPE html>
2<html xmlns="http://www.w3.org/1999/xhtml">
3 <head><title>Functor2 (Functor2)</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> » Functor2
13 </nav>
14 <header class="odoc-preamble">
15 <h1>Module <code><span>Functor2</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="Functor2-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 anchored" id="module-X">
34 <a href="#module-X" class="anchor"></a>
35 <code>
36 <span><span class="keyword">module</span>
37 <a href="Functor2-X.html">X</a>
38 </span>
39 <span> (<a href="Functor2-X-argument-1-Y.html">Y</a> :
40 <a href="Functor2-module-type-S.html">Functor2.S</a>) (
41 <a href="Functor2-X-argument-2-Z.html">Z</a> :
42 <a href="Functor2-module-type-S.html">Functor2.S</a>) :
43 <span class="keyword">sig</span> ... <span class="keyword">end</span>
44 </span>
45 </code>
46 </div>
47 </div>
48 <div class="odoc-spec">
49 <div class="spec module-type anchored" id="module-type-XF">
50 <a href="#module-type-XF" class="anchor"></a>
51 <code>
52 <span><span class="keyword">module</span>
53 <span class="keyword">type</span>
54 <a href="Functor2-module-type-XF.html">XF</a>
55 </span>
56 <span> =
57
58 <span class="keyword">functor</span>
59 <span> (<a href="Functor2-module-type-XF-argument-1-Y.html">Y</a>
60 : <a href="Functor2-module-type-S.html">Functor2.S</a>)
61 <span class="arrow">-></span>
62 </span>
63
64 <span class="keyword">functor</span>
65 <span> (<a href="Functor2-module-type-XF-argument-2-Z.html">Z</a>
66 : <a href="Functor2-module-type-S.html">Functor2.S</a>)
67 <span class="arrow">-></span>
68 </span>
69
70 <span class="keyword">sig</span> ... <span class="keyword">end</span>
71 </span>
72 </code>
73 </div>
74 </div>
75 </div>
76 </body>
77</html>