diff options
Diffstat (limited to 'doc/Utils.Float.html')
-rw-r--r-- | doc/Utils.Float.html | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/doc/Utils.Float.html b/doc/Utils.Float.html index 255a5df..9b3b5f8 100644 --- a/doc/Utils.Float.html +++ b/doc/Utils.Float.html @@ -27,13 +27,14 @@ <link title="Version" rel="Chapter" href="Version.html"><title>Utils.Float</title> </head> <body> -<div class="navbar"><a href="Utils.Int.html">Previous</a> - <a href="Utils.html">Up</a> +<div class="navbar"><a class="pre" href="Utils.Int.html" title="Utils.Int">Previous</a> + <a class="up" href="Utils.html" title="Utils">Up</a> </div> -<center><h1>Module <a href="type_Utils.Float.html">Utils.Float</a></h1></center> -<br> -<pre><span class="keyword">module</span> Float: <code class="code"><span class="keyword">sig</span></code> <a href="Utils.Float.html">..</a> <code class="code"><span class="keyword">end</span></code></pre>Float implementation.<br> +<h1>Module <a href="type_Utils.Float.html">Utils.Float</a></h1> +<pre><span class="keyword">module</span> Float: <code class="code"><span class="keyword">sig</span></code> <a href="Utils.Float.html">..</a> <code class="code"><span class="keyword">end</span></code></pre><div class="info"> +Float implementation.<br> <b>Since</b> 2.0<br> +</div> <hr width="100%"> <pre><span class="keyword">include</span> <a href="Utils.Comparable.html">Utils.Comparable</a></pre> <pre><span id="VALset_precision"><span class="keyword">val</span> set_precision</span> : <code class="type">float -> unit</code></pre><div class="info"> |