Expand description
Optional e-graph rewrite boundary for Omena CSS transforms.
Selector and computed-value rewrites are the current e-graph candidates. This crate keeps their proof requirements explicit without forcing an e-graph dependency into the core transform path.
Structs§
- EggRewrite
Candidate V0 - EggRewrite
Decision V0 - EggRewrite
Proof V0 - Transform
EggBoundary Summary V0 - Transform
EggPlan V0