IRTS.Exports
Description
findExports :: Idris [ExportIFace] #
getExpNames :: [ExportIFace] -> [Name] #