Agda.Syntax.Translation.ReflectedToAbstract

type Names

type WithNames a

withName

askName

class ToAbstract r a

toAbstract_

toAbstractWithoutImplicit

mkDef

mkSet

toAbstractPats