t;=&nbsp;32</code>.</p>
</div>
</div>

<pre id="VALshift_right">val shift_right : int32 -&gt; int -&gt; int32</pre><div class="info ">
<div class="info-desc">
<p><code class="code">Int32.shift_right&nbsp;x&nbsp;y</code> shifts <code class="code">x</code> to the right by <code class="code">y</code> bits.
   This is an arithmetic shift: the sign bit of <code class="code">x</code> is replicated
   and inserted in the vacated bits.
   The result is unspecified if <code class="code">y&nbsp;&lt;&nbsp;0</code> or 