Add egraph.function_values(fn) to export all function values like print-function#340
Merged
saulshanabrook merged 2 commits intomainfrom Sep 2, 2025
Merged
Add `egraph.function_values(fn)` to export all function values like `print-function`#340saulshanabrook merged 2 commits intomainfrom
saulshanabrook merged 2 commits intomainfrom