n></span> <span>&#45;&gt;</span> <span><span class="type-var">'a</span> list</span> <span>&#45;&gt;</span> <span><span class="type-var">'a</span> list</span> <span>&#45;&gt;</span> <span><span class="type-var">'a</span> list</span></code></dt><dd><p><code>inter cmp xs ys</code> are the elements in both <code>xs</code> and <code>ys</code>, sorted according to <code>cmp</code>.</p></dd></dl><dl><dt class="spec value" id="val-fold_last"><a href="#val-fold_last" class="anchor"></a><code><span class="keyword">va