Agda.TypeChecking.Rules.Def
checkFunDef
checkMacroType
isAlias
checkAlias
checkFunDef'
checkFunDefS
useTerPragma
insertPatterns
data WithFunctionProblem
checkClause
checkRHS
checkWithRHS
checkWithFunction
checkWhere
newSection
atClause