PEnum">num</a></code></pre><div class="info ">
Same as <a href="Num.html#VALadd_num"><code class="code"><span class="constructor">Num</span>.add_num</code></a>.<br>
</div>

<pre><span id="VALadd_num"><span class="keyword">val</span> add_num</span> : <code class="type"><a href="Num.html#TYPEnum">num</a> -&gt; <a href="Num.html#TYPEnum">num</a> -&gt; <a href="Num.html#TYPEnum">num</a></code></pre><div class="info ">
Addition<br>
</div>

<pre><span id="VALminus_num"><span class="keyword">val</span> minus_num</