structure Names =
  Names (structure Global = Global
	 structure IntSyn' = IntSyn
         structure Constraints = Constraints
	 structure HashTable = StringHashTable
	 structure StringTree = StringRedBlackTree);