Agda.Interaction.Library.Base

type LibName

libNameForCurrentDir

data AgdaLibFile

emptyLibFile