IRTS.System
getIdrisDataFileByName
getCC
getLibFlags
getIdrisDataDir
getIdrisLibDir
getIdrisDocDir
getIdrisCRTSDir
getIdrisJSRTSDir
getIncFlags
getEnvFlags
version