t</span> = <code class="type">unit -> [ `Cons of 'a * 'a <a href="Barray_slice.html#TYPEklist">klist</a> | `Nil ]</code> </pre>


<pre><span id="TYPEgen"><span class="keyword">type</span> <code class="type">'a</code> gen</span> = <code class="type">unit -> 'a option</code> </pre>


<pre><span id="TYPEequal"><span class="keyword">type</span> <code class="type">'a</code> equal</span> = <code class="type">'a -> 'a -> bool</code> </pre>


<pre><span id="TYPEord"><span class="keyword">type</span> <code class="ty