Agda.Syntax.Translation.InternalToAbstract

class Reify i a

type NamedClause

reifyPatterns