Module type_checking

Re-exports

• pub use checker::*;

Modules

• check_expressions
• check_program
• check_statements
• checker
• scope_state 🔒