Agda.Syntax.Internal.Pattern
clauseArgs
clauseElims
class FunArity a
class LabelPatVars a b i
numberPatVars
unnumberPatVars
dbPatPerm
clausePerm
patternToElim
patternsToElims
patternToTerm