FilePath package:Agda

Extract the AbsolutePath to be used as FilePath.
The file currently loaded into interaction.
The file's path.