Agda.TypeChecking.Rules.Def
checkFunDef
isAlias
checkAlias
checkFunDef'
useTerPragma
insertPatterns
data WithFunctionProblem
checkClause
checkWithFunction
checkWhere
containsAbsurdPattern