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