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