Module transforms

Source
Expand description

Transform algebra and normalization operations

Structs§

IntervalSet
Interval set for tracking preserved ranges
SexprProof
SMT proof representation (simplified)
TransformId
Unique identifier for transforms

Enums§

OverflowSemantics
QuoteKind
QuoteReason
QuoteType
SemanticDelta
Semantic changes introduced by transformations
Transform
Transformations form a monoid under composition
WhitespaceContext
Context-dependent whitespace handling