Add egraph.function_values(fn) to export all function values like print-function
#53
| Job | Run time |
|---|---|
| 6s | |
| 6s |
egraph.function_values(fn) to export all function values like print-function
#53
| Job | Run time |
|---|---|
| 6s | |
| 6s |