(*
 * "Stable module" sets.
 *   Uses SML/NJ library implementation of binary sets.
 *
 * (C) 1999 Lucent Technologies, Bell Laboratories
 *
 * Author: Matthias Blume (blume@kurims.kyoto-u.ac.jp)
 *)
structure StableSet = SetFn (BinInfo)
