</I></TT> of set
      <TT><I>s</I></TT> and returns the pair <TT>(<I>s1</I>, <I>s2</I>)</TT>
      of sets where <TT><I>s1</I></TT> contains all elements for which
      <TT><I>f x</I></TT> delivered <TT>true</TT>, and <TT><I>s2</I></TT> all
      elements for which it delivered <TT>false</TT>.
      For red-black trees, <TT><I>f</I></TT> is applied in increasing order.
      Equivalent to
      <TT>Pair.map (fromList, fromList) (List.partition <I>f</I> (toList <I>s</I>))</TT>.</P>
    </DD>
  </DL>

<?php