Agda.TheTypeChecker
checkDecls
checkDecl
checkDeclCached
inferExpr
checkExpr