ed
   to have different lengths.</li>
</ul>
</div>

<pre id="VALexists2">val exists2 : ('a -&gt; 'b -&gt; bool) -&gt; 'a list -&gt; 'b list -&gt; bool</pre><div class="info ">
<div class="info-desc">
<p>Same as <a href="List.html#VALexists"><code class="code">List.exists</code></a>, but for a two-argument predicate.</p>
</div>
<ul class="info-attributes">
<li><b>Raises</b> <code>Invalid_argument</code> if the two lists are determined
   to have different lengths.</li>
</ul>
</div>

<pre id="VALmem">val mem 