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