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