Agda.TheTypeChecker

checkDecls

checkDecl

checkDeclCached

inferExpr

checkExpr