 together (in the same order) to give the result.
   Not tail-recursive
   (length of the argument + length of the longest sub-list).</p>
</div>
</div>

<pre id="VALflatten">val flatten : 'a list list -&gt; 'a list</pre><div class="info ">
<div class="info-desc">
<p>Same as <a href="List.html#VALconcat"><code class="code">List.concat</code></a>. Not tail-recursive
   (length of the argument + length of the longest sub-list).</p>
</div>
</div>
<h2 id="1_Comparison">Comparison</h2>
<pre id="VALequal">val equa