Term::has_free_variables: check if an expression has free variables
#39
| Job | Run time |
|---|---|
| 9s | |
| 7s | |
| 9s | |
| 25s |
Term::has_free_variables: check if an expression has free variables
#39
| Job | Run time |
|---|---|
| 9s | |
| 7s | |
| 9s | |
| 25s |