Module validation

Re-exports

pub use type_checker::TypeChecker;

pub use coercion::TypeCoercion;

pub use inference::TypeInference;

pub use type_validation::TypeValidation;

pub use coordinator::TypeCheckingCoordinator;

Modules

coercion

coordinator

inference

type_checker

type_validation