</code> if all elements of <code class="code">arr</code> are lower than <code class="code">x</code></li>
<li><code class="code">`All_bigger</code> if all elements of <code class="code">arr</code> are bigger than <code class="code">x</code></li>
<li><code class="code">`Just_after i</code> if <code class="code">arr.(i) &lt; x &lt; arr.(i+1)</code></li>
<li><code class="code">`Empty</code> if the array is empty</li>
</ul>
<br>
</div>

<pre><span id="VALfor_all"><span class="keyword">val</span> for_all</span> :