ss="type"><a href="Num.html#TYPEnum">num</a> -&gt; int</code></pre>
<pre><span id="VALnum_of_int"><span class="keyword">val</span> num_of_int</span> : <code class="type">int -&gt; <a href="Num.html#TYPEnum">num</a></code></pre>
<pre><span id="VALnat_of_num"><span class="keyword">val</span> nat_of_num</span> : <code class="type"><a href="Num.html#TYPEnum">num</a> -&gt; Nat.nat</code></pre>
<pre><span id="VALnum_of_nat"><span class="keyword">val</span> num_of_nat</span> : <code class="type">Nat.nat -&gt; <a h