Agda.TypeChecking.Rules.Def
checkFunDef
checkFunDef'
insertPatterns
data WithFunctionProblem
checkClause
checkWithFunction
checkWhere
containsAbsurdPattern
actualConstructor