Agda.Syntax.Internal.Pattern
clauseArgs
clauseElims
class FunArity a
class LabelPatVars a b i
numberPatVars
unnumberPatVars
dbPatPerm
dbPatPerm'
clausePerm
patternToElim
patternsToElims
patternToTerm
class MapNamedArg f
class PatternLike a b
foldPattern
preTraversePatternM
postTraversePatternM