Agda.Syntax.Internal.Pattern

Tools for clauses

clauseArgs

clauseElims

class FunArity a

Tools for patterns

class LabelPatVars a b i

numberPatVars

unnumberPatVars

dbPatPerm

clausePerm

patternToElim

patternsToElims

patternToTerm