slang_frontend/semantic_analysis/validation/
mod.rs

1pub mod type_checker;
2pub mod coercion;
3pub mod inference;
4pub mod type_validation;
5pub mod coordinator;
6
7pub use type_checker::TypeChecker;
8pub use coercion::TypeCoercion;
9pub use inference::TypeInference;
10pub use type_validation::TypeValidation;
11pub use coordinator::TypeCheckingCoordinator;