Expand description
Type Inference Engine
Implements Hindley-Milner style type inference with extensions for Shape’s domain-specific features.
Structs§
- Property
Assignment - Collected property assignment information
- Property
Assignment Collector - Visitor that collects all property assignments in a program
- Type
Inference Engine
Enums§
- Check
Mode - Mode for bidirectional type checking