Expand description
Type inference system for ELO expressions
Infers types for expressions to enable better error checking and code generation. Uses a simple bidirectional type inference approach.
Structs§
- Type
Inference Visitor - Type inference visitor
Enums§
- Inferred
Type - Inferred type of an ELO expression