nbsp;(f&nbsp;an)</code> for a non-empty list and
   <code class="code">false</code> if the list is empty.</p>
</div>
</div>

<pre id="VALfor_all2">val for_all2 : ('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#VALfor_all"><code class="code">List.for_all</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 determin