structure ModSyn =
  ModSyn (structure Global = Global
          structure IntSyn' = IntSyn
          structure Names' = Names
          structure Paths' = Paths
          structure Origins = Origins
          structure Whnf = Whnf
          structure Strict = Strict
          structure IntTree = IntRedBlackTree
          structure HashTable = StringHashTable);