Idris.Imports

data IFileType

findImport

findInPath

findPkgIndex

ibcPathNoFallback

installedPackages

pkgIndex