this repo has no description
at main 30 lines 1.1 kB view raw
1<!DOCTYPE html> 2<html xmlns="http://www.w3.org/1999/xhtml"> 3 <head><title>External (External)</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; External 13 </nav> 14 <header class="odoc-preamble"> 15 <h1>Module <code><span>External</span></code></h1> 16 </header> 17 <div class="odoc-content"> 18 <div class="odoc-spec"> 19 <div class="spec value external anchored" id="val-foo"> 20 <a href="#val-foo" class="anchor"></a> 21 <code> 22 <span><span class="keyword">val</span> foo : 23 <span>unit <span class="arrow">&#45;&gt;</span></span> unit 24 </span> 25 </code> 26 </div><div class="spec-doc"><p>Foo <em>bar</em>.</p></div> 27 </div> 28 </div> 29 </body> 30</html>