+1</code>, where <code class="code">r</code> is a reference to a number.<br>
</div>

<pre><span id="VALdecr_num"><span class="keyword">val</span> decr_num</span> : <code class="type"><a href="Num.html#TYPEnum">num</a> <a href="Pervasives.html#TYPEref">ref</a> -&gt; unit</code></pre><div class="info ">
<code class="code">decr r</code> is <code class="code">r:=!r-1</code>, where <code class="code">r</code> is a reference to a number.<br>
</div>

<pre><span id="VALis_integer_num"><span class="keyword">val</spa