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