IRTS.System

getIdrisDataFileByName

getCC

getLibFlags

getIdrisDataDir

getIdrisLibDir

getIdrisDocDir

getIdrisCRTSDir

getIdrisJSRTSDir

getIncFlags

getEnvFlags

version