Fix stale and incorrect inline docs across the rewriting/saturation packages - #24

Merged

jonathanvdc merged 2 commits into

mainfrom

copilot/update-inline-docs

Mar 27, 2026

Commits on Mar 26, 2026

Initial plan
Copilot
committed
9565689

Commits on Mar 27, 2026

Fix inline docs: stale CommandQueue/CommandQueueBuilder refs, wrong EGraphWithRecordedApplications package, Rewrite.apply doc, CommandSchedule.applyImmutable spurious param, EGraph.scala formatting…

Copilot
and
jonathanvdc
committed
29ea786