used to support the implementation of <a href="Num.html"><code class="code"><span class="constructor">Num</span></code></a> and
    should not be called directly.<br>
</p></div>
<hr width="100%">

<pre><span id="TYPEratio"><span class="keyword">type</span> <code class="type"></code>ratio</span> </pre>

<div class="copyright">The present documentation is copyright Institut National de Recherche en Informatique et en Automatique (INRIA). A complete version can be obtained from <a href="http://caml.inria.fr/pu