Agda.TheTypeChecker

checkDecls

checkDecl

inferExpr

checkExpr