(*
  vim: syntax=sml

  Simple test cases for various SET container implementations.

  $Id: test.ml,v 1.1 2004/09/09 21:15:11 cstork Exp $

  Copyright (c) 2003-2004 by Peter H. Froehlich <phf@acm.org>.
  All rights reserved.

  This program is free software; you can redistribute it and/or
  modify it under the terms of the GNU General Public License as
  published by the Free Software Foundation; either version 2 of
  the License, or (at your option) any later version.
*)

use "ORDERED.sig";
use "Integer.sml";

use "SET.sig";
use "ListSet.sml";

structure ILS = ListSet(Integer);

ILS.empty ILS.new;
ILS.empty (ILS.insert ILS.new 10);
ILS.has (ILS.insert ILS.new 10) 10;
ILS.has (ILS.insert ILS.new 10) 20;

use "BstSet.sml";

structure IBS = BstSet(Integer);

IBS.empty IBS.new;
IBS.empty (IBS.insert IBS.new 10);
IBS.has (IBS.insert IBS.new 10) 10;
IBS.has (IBS.insert IBS.new 10) 20;

use "Book.sml";

structure BBS = BstSet(Book);

use "String.sml";