sp;an)</code> for a non-empty list and
   <code class="code">true</code> if the list is empty.</p>
</div>
</div>

<pre id="VALexists">val exists : ('a -&gt; bool) -&gt; 'a list -&gt; bool</pre><div class="info ">
<div class="info-desc">
<p><code class="code">exists&nbsp;f&nbsp;[a1;&nbsp;...;&nbsp;an]</code> checks if at least one element of
   the list satisfies the predicate <code class="code">f</code>. That is, it returns
   <code class="code">(f&nbsp;a1)&nbsp;||&nbsp;(f&nbsp;a2)&nbsp;||&nbsp;...&nbsp;||&