">List operations</h6>
<p>

   More list operations are provided in module <a href="List.html"><code class="code"><span class="constructor">List</span></code></a>.<br>

</p><pre><span id="VAL(@)"><span class="keyword">val</span> (@)</span> : <code class="type">'a list -&gt; 'a list -&gt; 'a list</code></pre><div class="info ">
List concatenation.  Not tail-recursive (length of the first argument).<br>
</div>
<br>
<h6 id="6_Inputoutput">Input/output</h6>
    Note: all input/output functions can raise <code c