Agda.Syntax.Translation.ReflectedToAbstract

type Names

type WithNames a

withName

askName

class ToAbstract r a

toAbstract_

toAbstractWithoutImplicit

mkSet

toAbstractPats