ode">Int32.succ&nbsp;x</code> is <code class="code">Int32.add&nbsp;x&nbsp;Int32.one</code>.</p>
</div>
</div>

<pre id="VALpred">val pred : int32 -&gt; int32</pre><div class="info ">
<div class="info-desc">
<p>Predecessor.  <code class="code">Int32.pred&nbsp;x</code> is <code class="code">Int32.sub&nbsp;x&nbsp;Int32.one</code>.</p>
</div>
</div>

<pre id="VALabs">val abs : int32 -&gt; int32</pre><div class="info ">
<div class="info-desc">
<p><code class="code">abs&nbsp;x</code> is the absolute value of <cod