Agda.Interaction.Library.Base
type
LibName
libNameForCurrentDir
data
AgdaLibFile
emptyLibFile