Agda.Syntax.Translation.ReflectedToAbstract
type Names
type WithNames a
withName
askName
class ToAbstract r a
toAbstract_
toAbstractWithoutImplicit
mkSet
toAbstractPats