tsz-checker 0.1.9

Type checker module for TypeScript AST.

This module is organized into several submodules:

• context - CheckerContext for shared state
• expr - Expression type checking
• statements - Statement type checking
• declarations - Declaration type checking
• flow_graph_builder - Control flow graph builder
• flow_analyzer - Definite assignment analysis
• reachability_analyzer - Unreachable code detection
• control_flow - Flow analyzer for type narrowing
• error_reporter - Error reporting utilities

Note: The thin checker is the unified checker pipeline; CheckerState is an alias to the thin checker.