Module type_checker 

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

TypeChecker

Type checker for SQL expressions.