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