Agda.Syntax.Translation.InternalToAbstract
class
Reify
i a
data
NamedClause
reifyPatterns