Agda.Syntax.Translation.InternalToAbstract
apps
exprInfo
reifyApp
class
Reify
i a
reifyDisplayForm
reifyDisplayFormP
data
NamedClause
stripImplicits
class
DotVars
a
reifyPatterns