e : 'a list -&gt; 'b list -&gt; ('a * 'b) list</pre><div class="info ">
<div class="info-desc">
<p>Transform a pair of lists into a list of pairs:
   <code class="code">combine&nbsp;[a1;&nbsp;...;&nbsp;an]&nbsp;[b1;&nbsp;...;&nbsp;bn]</code> is
   <code class="code">[(a1,b1);&nbsp;...;&nbsp;(an,bn)]</code>.</p>
</div>
<ul class="info-attributes">
<li><b>Raises</b> <code>Invalid_argument</code> if the two lists
   have different lengths. Not tail-recursive.</li>
</ul>
</div>
<h2 id="1_Sorting">Sorting</h2>
<