definition module CpmPaths import PmEnvironment readIDEEnvs :: !String !String !*World -> *([Target], *World)