Make custom schedulers compose with the term/proof encoding#944

oflatt-claude wants to merge 1 commit into

egraphs-good:mainegraphs-good/egglog:mainfrom

oflatt-claude:term-encoding-scheduler-maintenanceoflatt-claude/egglog:term-encoding-scheduler-maintenanceCopy head branch name to clipboard