_big_int"><span class="keyword">val</span> shift_left_big_int</span> : <code class="type"><a href="Big_int.html#TYPEbig_int">big_int</a> -&gt; int -&gt; <a href="Big_int.html#TYPEbig_int">big_int</a></code></pre><div class="info">
<code class="code">shift_left_big_int b n</code> returns <code class="code">b</code> shifted left by <code class="code">n</code> bits.
            Equivalent to multiplication by <code class="code">2^n</code>.<br>
</div>
<pre><span id="VALshift_right_big_int"><span class="keyword"