Agda.Syntax.Translation.ConcreteToAbstract

class ToAbstract concrete abstract

localToAbstract

concreteToAbstract_

concreteToAbstract

data NewModuleQName

data OldName

data TopLevel a

data TopLevelInfo

topLevelModuleName

data AbstractRHS

data NewModuleName

data OldModuleName

data NewName a

data OldQName

data LeftHandSide

data RightHandSide

data PatName

data APatName

data LetDef

data LetDefs