this repo has no description
at main 74 lines 2.4 kB view raw
1<!DOCTYPE html> 2<html xmlns="http://www.w3.org/1999/xhtml"> 3 <head><title>Recent_impl (Recent_impl)</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> &#x00BB; Recent_impl 13 </nav> 14 <header class="odoc-preamble"> 15 <h1>Module <code><span>Recent_impl</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> 22 <span><span class="keyword">module</span> 23 <a href="Recent_impl-Foo.html">Foo</a> 24 </span> 25 <span> : <span class="keyword">sig</span> ... 26 <span class="keyword">end</span> 27 </span> 28 </code> 29 </div> 30 </div> 31 <div class="odoc-spec"> 32 <div class="spec module anchored" id="module-B"> 33 <a href="#module-B" class="anchor"></a> 34 <code> 35 <span><span class="keyword">module</span> 36 <a href="Recent_impl-B.html">B</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 type anchored" id="type-u"> 46 <a href="#type-u" class="anchor"></a> 47 <code><span><span class="keyword">type</span> u</span></code> 48 </div> 49 </div> 50 <div class="odoc-spec"> 51 <div class="spec module-type anchored" id="module-type-S"> 52 <a href="#module-type-S" class="anchor"></a> 53 <code> 54 <span><span class="keyword">module</span> 55 <span class="keyword">type</span> 56 <a href="Recent_impl-module-type-S.html">S</a> 57 </span> 58 <span> = <span class="keyword">sig</span> ... 59 <span class="keyword">end</span> 60 </span> 61 </code> 62 </div> 63 </div> 64 <div class="odoc-spec"> 65 <div class="spec module anchored" id="module-B'"> 66 <a href="#module-B'" class="anchor"></a> 67 <code><span><span class="keyword">module</span> B'</span> 68 <span> = <a href="Recent_impl-Foo-B.html">Recent_impl.Foo.B</a></span> 69 </code> 70 </div> 71 </div> 72 </div> 73 </body> 74</html>