this repo has no description
1<!DOCTYPE html>
2<html xmlns="http://www.w3.org/1999/xhtml">
3 <head><title>F5 (Functor.F5)</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="Functor.html">Up</a> –
12 <a href="index.html">Index</a> » <a href="Functor.html">Functor</a>
13 » F5
14 </nav>
15 <header class="odoc-preamble">
16 <h1>Module <code><span>Functor.F5</span></code></h1>
17 </header>
18 <div class="odoc-tocs">
19 <nav class="odoc-toc odoc-local-toc">
20 <ul><li><a href="#parameters">Parameters</a></li>
21 <li><a href="#signature">Signature</a></li>
22 </ul>
23 </nav>
24 </div>
25 <div class="odoc-content">
26 <h2 id="parameters"><a href="#parameters" class="anchor"></a>Parameters
27 </h2>
28 <h2 id="signature"><a href="#signature" class="anchor"></a>Signature</h2>
29 <div class="odoc-spec">
30 <div class="spec type anchored" id="type-t">
31 <a href="#type-t" class="anchor"></a>
32 <code><span><span class="keyword">type</span> t</span></code>
33 </div>
34 </div>
35 </div>
36 </body>
37</html>