Expand description
Variable scope analysis pass.
Structs§
- Scope
Analysis Result - Result of scope analysis
- Type
Conflict - Variable
Scope - Scope information for a variable
Enums§
Functions§
- analyze_
scopes - Analyze variable scopes in an expression
- suggest_
quantifiers - Suggest quantifiers for unbound variables
- validate_
scopes - Validate that all variables are properly bound