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

Merged

jonathanvdc merged 2 commits intomainfrom

copilot/update-inline-docs

Mar 27, 2026

Commits on Mar 26, 2026

Initial plan
Copilot
committed

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