this repo has no description
1
fork

Configure Feed

Select the types of activity you want to include in your feed.

at main 47 lines 1.7 kB view raw
1<!DOCTYPE html> 2<html xmlns="http://www.w3.org/1999/xhtml"> 3 <head><title>Y_include_synopsis (Include2.Y_include_synopsis)</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> &#x00BB; 13 <a href="Include2.html">Include2</a> &#x00BB; Y_include_synopsis 14 </nav> 15 <header class="odoc-preamble"> 16 <h1>Module <code><span>Include2.Y_include_synopsis</span></code></h1> 17 <p>The <code>include Y</code> below should have the synopsis from 18 <code>Y</code>'s top-comment attached to it. 19 </p> 20 </header> 21 <div class="odoc-content"> 22 <div class="odoc-include"> 23 <details open="open"> 24 <summary class="spec include"> 25 <code> 26 <span><span class="keyword">include</span> 27 <span class="keyword">module</span> <span class="keyword">type</span> 28 <span class="keyword">of</span> <span class="keyword">struct</span> 29 <span class="keyword">include</span> 30 <a href="Include2-Y.html">Include2.Y</a> 31 <span class="keyword">end</span> 32 </span> 33 </code> 34 </summary> 35 <div class="odoc-spec"> 36 <div class="spec type anchored" id="type-t"> 37 <a href="#type-t" class="anchor"></a> 38 <code><span><span class="keyword">type</span> t</span> 39 <span> = <a href="Include2-Y.html#type-t">Include2.Y.t</a></span> 40 </code> 41 </div> 42 </div> 43 </details> 44 </div> 45 </div> 46 </body> 47</html>