ng</span> : <code class="type">('a -> 'a -> int) -> 'a <a href="Barray_slice.html#TYPEt">t</a> -> int array</code></pre><div class="info ">
<code class="code">sort_ranking cmp a</code> returns a new array <code class="code">b</code>, with the same length as <code class="code">a</code>,
    such that <code class="code">b.(i)</code> is the position in <code class="code">sorted cmp a</code> of the <code class="code">i</code>-th
    element of <code class="code">a</code>.
    <code class="code">a</code> is not 