Agda.Syntax.Internal.Pattern
clauseArgs
clauseElims
class FunArity a
class LabelPatVars a b i
numberPatVars
patternsToElims
data OneHolePatterns
data OneHolePattern
plugHole
allHoles
allHolesWithContents