Expand description
Core data structures for the type checker.
Structs§
- Scope
Item - A single entry in a type checker scope.
- Type
Checker - The stateful type checker, threaded through the entire AST walk.
Enums§
- Check
Type - The type of a value as seen by the static checker.