Agda.Syntax.Translation.InternalToAbstract

class Reify i a

data NamedClause

reifyPatterns