Agda.TypeChecker

checkDecls

checkDecl

inferExpr

checkExpr