pre><div class="info ">
<div class="info-desc">
<p>Concatenate two lists. Same function as the infix operator <code class="code">@</code>.
   Not tail-recursive (length of the first argument). The <code class="code">@</code>
   operator is not tail-recursive either.</p>
</div>
</div>

<pre id="VALrev_append">val rev_append : 'a list -&gt; 'a list -&gt; 'a list</pre><div class="info ">
<div class="info-desc">
<p><code class="code">rev_append&nbsp;l1&nbsp;l2</code> reverses <code class="code">l1</code> and co