</I> (toList <I>s</I>)</TT>.</P>
    </DD>

    <DT>
      <TT>all <I>f</I> <I>s</I></TT>
    </DT>
    <DD>
      <P>Applies <TT><I>f</I></TT> to each element <TT><I>x</I></TT> of set
      <TT><I>s</I></TT> until <TT><I>f x</I></TT> delivers <TT>false</TT>.
      Returns <TT>false</TT> if such an <TT><I>x</I></TT> exists, <TT>true</TT>
      otherwise.
      For red-black trees, <TT><I>f</I></TT> is applied in increasing order.
      Equivalent to <TT>List.all <I>f</I> (toList <I>s</I>)</TT>.</P>
    </DD