jon.recoil.org
this repo has no description
1<!DOCTYPE html>
2<html xmlns="http://www.w3.org/1999/xhtml">
3 <head><title>Functor_ml (Functor_ml)</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> » Functor_ml
13 </nav>
14 <header class="odoc-preamble">
15 <h1>Module <code><span>Functor_ml</span></code></h1>
16 </header>
17 <div class="odoc-content">
18 <div class="odoc-spec">
19 <div class="spec module anchored" id="module-Foo">
20 <a href="#module-Foo" class="anchor"></a>
21 <code><span><span class="keyword">module</span> Foo</span>
22 <span> (<a href="Functor_ml-Foo-argument-1-X.html">X</a> :
23 <span class="keyword">sig</span> ... <span class="keyword">end</span>
24 ) : <span class="keyword">module</span>
25 <span class="keyword">type</span> <span class="keyword">of</span>
26 <span class="xref-unresolved">Stdlib</span>.String
27 </span>
28 </code>
29 </div>
30 </div>
31 <div class="odoc-spec">
32 <div class="spec module anchored" id="module-Bar">
33 <a href="#module-Bar" class="anchor"></a>
34 <code>
35 <span><span class="keyword">module</span>
36 <a href="Functor_ml-Bar.html">Bar</a>
37 </span>
38 <span> : <span class="keyword">sig</span> ...
39 <span class="keyword">end</span>
40 </span>
41 </code>
42 </div>
43 </div>
44 <div class="odoc-spec">
45 <div class="spec module anchored" id="module-Foo'">
46 <a href="#module-Foo'" class="anchor"></a>
47 <code>
48 <span><span class="keyword">module</span>
49 <a href="Functor_ml-Foo'.html">Foo'</a>
50 </span>
51 <span> (<a href="Functor_ml-Foo'-argument-1-X.html">X</a> :
52 <span class="keyword">sig</span> ... <span class="keyword">end</span>
53 ) : <span class="keyword">sig</span> ...
54 <span class="keyword">end</span>
55 </span>
56 </code>
57 </div>
58 </div>
59 </div>
60 </body>
61</html>