jon.recoil.org
this repo has no description
1<!DOCTYPE html>
2<html xmlns="http://www.w3.org/1999/xhtml">
3 <head><title>Y_include_doc (Include2.Y_include_doc)</title>
4 <meta charset="utf-8"/><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="Include2.html">Up</a> –
12 <a href="index.html">Index</a> »
13 <a href="Include2.html">Include2</a> » Y_include_doc
14 </nav>
15 <header class="odoc-preamble">
16 <h1>Module <code><span>Include2.Y_include_doc</span></code></h1>
17 </header>
18 <div class="odoc-content">
19 <div class="odoc-include">
20 <div class="spec-doc">
21 <p>Doc attached to <code>include Y</code>. <code>Y</code>'s top-comment
22 shouldn't appear here.
23 </p>
24 </div>
25 <details open="open">
26 <summary class="spec include">
27 <code>
28 <span><span class="keyword">include</span>
29 <span class="keyword">module</span> <span class="keyword">type</span>
30 <span class="keyword">of</span> <span class="keyword">struct</span>
31 <span class="keyword">include</span>
32 <a href="Include2-Y.html">Include2.Y</a>
33 <span class="keyword">end</span>
34 </span>
35 </code>
36 </summary>
37 <div class="odoc-spec">
38 <div class="spec type anchored" id="type-t">
39 <a href="#type-t" class="anchor"></a>
40 <code><span><span class="keyword">type</span> t</span>
41 <span> = <a href="Include2-Y.html#type-t">Include2.Y.t</a></span>
42 </code>
43 </div>
44 </div>
45 </details>
46 </div>
47 </div>
48 </body>
49</html>