BeforeAppend"><span class="keyword">val</span> checkBeforeAppend</span> : <code class="type">'a <a href="Clist.html#TYPEclist">clist</a> -> 'a <a href="Clist.html#TYPEclist">clist</a> -> bool</code></pre><div class="info">
A useful check to assert before an append. It checks that the two lists 
 are not identically the same (Except if they are both empty)<br>
</div>
<pre><span id="VALlength"><span class="keyword">val</span> length</span> : <code class="type">'a <a href="Clist.html#TYPEclist">clist</a> -> in