diff options
author | Stephane Glondu <steph@glondu.net> | 2013-04-10 11:22:18 +0200 |
---|---|---|
committer | Stephane Glondu <steph@glondu.net> | 2013-04-10 11:22:18 +0200 |
commit | 7b917791d1917de5af1f4141d166bedba9798a40 (patch) | |
tree | 2fe8fabb37375aa8dbe2c0d0b16685404a3721dd /doc/Utils.Float.html | |
parent | e358163ec8f2d5c1fb7d36dc6ec6d8e3e23e0216 (diff) |
Imported Upstream version 2.03.1
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 |