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§
- Contextual
EqSat Scaffold V0 - EggRewrite
Candidate V0 - EggRewrite
Decision V0 - EggRewrite
Execution V0 - EggRewrite
Proof V0 - EggRewrite
Source Witness V0 - Lawvere
Analysis - Lawvere
Analysis Data V0 - MdlExtraction
Cost V0 - MdlExtraction
Mode Summary V0 - Transform
EggBoundary Summary V0 - Transform
EggPlan V0