Expand description
Type system module for Solilang.
Re-exports§
pub use checker::TypeChecker;pub use type_repr::Type;
Modules§
- checker
- Type checker for Solilang.
- environment
- Type environment for the type checker.
- type_
repr - Internal type representation for the type checker.