lso write <code class="code">- e</code> instead of <code class="code"><span class="keywordsign">~-</span> e</code>.<br>
</div>

<pre><span id="VAL(~+)"><span class="keyword">val</span> (~+)</span> : <code class="type">int -&gt; int</code></pre><div class="info ">
Unary addition. You can also write <code class="code">+ e</code> instead of <code class="code"><span class="keywordsign">~+</span> e</code>.<br>
<b>Since</b> 3.12.0<br>
</div>

<pre><span id="VALsucc"><span class="keyword">val</span> succ</span> : 