signature SetSig =
sig
    type Item
    type Set

    val empty     : Set
    val isEmpty   : Set -> bool
    val member    : Set -> Item -> bool
    val insert    : Item * Set  -> Set
    val delete    : Item * Set  -> Set
    val union     : Set  * Set  -> Set
    val intersect : Set  * Set  -> Set
end;