Agda.Syntax.Translation.ConcreteToAbstract
class ToAbstract concrete abstract
data OldName
data TopLevel a
data NewName a
data OldQName
data PatName
data APatName
data LetDef
data LetDefs