Term::has_free_variables
: check if an expression has free variables
#40
This job succeeded
Loading
Term::has_free_variables
: check if an expression has free variables
#40