diff options
Diffstat (limited to 'doc/Utils.Float.html')
| -rw-r--r-- | doc/Utils.Float.html | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/Utils.Float.html b/doc/Utils.Float.html index 2a77da3..255a5df 100644 --- a/doc/Utils.Float.html +++ b/doc/Utils.Float.html @@ -36,13 +36,13 @@ <b>Since</b> 2.0<br> <hr width="100%"> <pre><span class="keyword">include</span> <a href="Utils.Comparable.html">Utils.Comparable</a></pre> -<pre><span class="keyword">val</span> <a name="VALset_precision"></a>set_precision : <code class="type">float -> unit</code></pre><div class="info"> +<pre><span id="VALset_precision"><span class="keyword">val</span> set_precision</span> : <code class="type">float -> unit</code></pre><div class="info"> Set the precision of <code class="code">equal</code> and <code class="code">compare</code> for float. If the precision is <code class="code">p</code>, then the floats <code class="code">x</code> and <code class="code">y</code> are equal iff <code class="code">abs(x-y) < p</code>. By default, the precision is <code class="code">1e-3</code> (that is one millisecond if floats represents seconds).<br> </div> -<pre><span class="keyword">val</span> <a name="VALround"></a>round : <code class="type">t -> int</code></pre><div class="info"> +<pre><span id="VALround"><span class="keyword">val</span> round</span> : <code class="type">t -> int</code></pre><div class="info"> Round a float to the nearest integer.<br> </div> </body></html>
\ No newline at end of file |