NumberNames

module NumberNames(module NumberNames,module UniqueNames) where
import NameMaps
import UniqueNames
import SourceNames

--numberNames = id
--
numberNames m = mapNames conv m
  where
    conv (SN i p) = PN i (S p)
--}