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