What Type Of Semantics Apply To Type Checking?

What Type Of Semantics Apply To Type Checking? The type checker checks the static semantics of each AST node. It verifies that the construct is legal and meaningful (that all identifiers involved are declared, that types are correct, and so on). Is type checking syntax or semantics? Type checking is an important part of semantic