pre><div class="info ">
<div class="info-desc">
<p><code class="code">fold_left2&nbsp;f&nbsp;init&nbsp;[a1;&nbsp;...;&nbsp;an]&nbsp;[b1;&nbsp;...;&nbsp;bn]</code> is
   <code class="code">f&nbsp;(...&nbsp;(f&nbsp;(f&nbsp;init&nbsp;a1&nbsp;b1)&nbsp;a2&nbsp;b2)&nbsp;...)&nbsp;an&nbsp;bn</code>.</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="VALfold_right2">val fold_right2 : ('a -&