if <code class="code">y&nbsp;&lt;&nbsp;0</code> or <code class="code">y&nbsp;&gt;=&nbsp;32</code>.</p>
</div>
</div>

<pre id="VALof_int">val of_int : int -&gt; int32</pre><div class="info ">
<div class="info-desc">
<p>Convert the given integer (type <code class="code">int</code>) to a 32-bit integer
    (type <code class="code">int32</code>). On 64-bit platforms, the argument is taken
    modulo 2<sup class="superscript">32</sup>.</p>
</div>
</div>

<pre id="VALto_int">val to_int : int32 -&gt; int</pre><di