Agda.Syntax.Internal.Pattern

Tools for clauses

clauseArgs

clauseElims

class FunArity a

Tools for patterns

class LabelPatVars a b i

numberPatVars

patternsToElims

One hole patterns

data OneHolePatterns

data OneHolePattern

plugHole

allHoles

allHolesWithContents