<?php include("macros.php3"); ?>
<?php heading("The SET signature", "The <TT>SET</TT> signature") ?>

<?php section("synopsis", "synopsis") ?>

  <PRE>
    signature SET
    functor MkRedBlackSet (Item : ORDERED) :> SET where type item = Item.t
  </PRE>

  <P>
    The <TT>SET</TT> signature provides a functional interface to finite sets.
    The <TT>MkRedBlackSet</TT> functor provides an implementation of this
    interface based on red-black trees.
  </P>

  <P>See also:
    <A href="imp-set.html"><TT>IMP_