><span class="type-var">'a</span> list</span></code></dt><dd><p><code>sub l pos len</code> return the sub-list of l starting at pos of length len</p></dd></dl></section><section><header><h2 id="sorted-list-manipulation"><a href="#sorted-list-manipulation" class="anchor"></a>Sorted list manipulation</h2></header><dl><dt class="spec value" id="val-merge_uniq"><a href="#val-merge_uniq" class="anchor"></a><code><span class="keyword">val</span> merge_uniq : <span>(<span class="type-var">'a</span> <span>&#45;&gt;