modified.
<p>

    In other words, <code class="code">map (fun i -&gt; (sorted cmp a).(i)) (sort_ranking cmp a) = a</code>.
<p>

    Without duplicates, we also have
    <code class="code">lookup_exn a.(i) (sorted a) = (sorted_ranking a).(i)</code><br>
<b>Since</b> 1.0<br>
</div>

<pre><span id="VALfind"><span class="keyword">val</span> find</span> : <code class="type">('a -> 'b option) -> 'a <a href="Barray_slice.html#TYPEt">t</a> -> 'b option</code></pre><div class="info ">
<code class="code">find f a</co