Agda.Interaction.Library.Base

type LibName

data AgdaLibFile