<code class="type">int -&gt; int</code></pre><div class="info ">
<code class="code">succ x</code> is <code class="code">x + 1</code>.<br>
</div>

<pre><span id="VALpred"><span class="keyword">val</span> pred</span> : <code class="type">int -&gt; int</code></pre><div class="info ">
<code class="code">pred x</code> is <code class="code">x - 1</code>.<br>
</div>

<pre><span id="VAL(+)"><span class="keyword">val</span> (+)</span> : <code class="type">int -&gt; int -&gt; int</code></pre><div class="info ">
Integ