ass="info-desc">
<p>Same as <a href="List.html#VALsort"><code class="code">List.sort</code></a> or <a href="List.html#VALstable_sort"><code class="code">List.stable_sort</code></a>, whichever is
    faster on typical input.</p>
</div>
</div>

<pre id="VALsort_uniq">val sort_uniq : ('a -&gt; 'a -&gt; int) -&gt; 'a list -&gt; 'a list</pre><div class="info ">
<div class="info-desc">
<p>Same as <a href="List.html#VALsort"><code class="code">List.sort</code></a>, but also remove duplicates.</p>
</div>
<ul class=