                              sure always use append to make these</td><td class="typefieldcomment" align="left" valign="bottom" ><code>*)</code></td>
</tr></table>

<div class="info">
The clist datatype. A clist can be an ordinary list, or a clist preceded 
    or followed by an element, or two clists implicitly appended together<br>
</div>

<pre><span id="VALtoList"><span class="keyword">val</span> toList</span> : <code class="type">'a <a href="Clist.html#TYPEclist">clist</a> -> 'a list</code></pre><div c