v class="info ">
<div class="info-desc">
<p>Convert the given 32-bit integer (type <code class="code">int32</code>) to an
   integer (type <code class="code">int</code>).  On 32-bit platforms, the 32-bit integer
   is taken modulo 2<sup class="superscript">31</sup>, i.e. the high-order bit is lost
   during the conversion.  On 64-bit platforms, the conversion
   is exact.</p>
</div>
</div>

<pre id="VALunsigned_to_int">val unsigned_to_int : int32 -&gt; int option</pre><div class="info ">
<div class="info-de