Expand description
Transform algebra and normalization operations
Structs§
- Interval
Set - Interval set for tracking preserved ranges
- Sexpr
Proof - SMT proof representation (simplified)
- Transform
Id - Unique identifier for transforms
Enums§
- Overflow
Semantics - Quote
Kind - Quote
Reason - Quote
Type - Semantic
Delta - Semantic changes introduced by transformations
- Transform
- Transformations form a monoid under composition
- Whitespace
Context - Context-dependent whitespace handling