Agda.TypeChecking.Rules.Def
Definitions by pattern matching
checkFunDef
insertPatterns
data
WithFunctionProblem
checkClause
checkWithFunction
checkWhere
containsAbsurdPattern
actualConstructor