Expand description
Type checking module for the Alopex SQL dialect.
This module provides type inference and validation for SQL expressions. It checks that expressions are well-typed and that operations are valid for the types involved.
Structs§
- Scoped
Table - A table visible to expression name resolution.
- Type
Checker - Type checker for SQL expressions.