Term::has_free_variables
: check if an expression has free variables#54
Merged
ljedrz merged 3 commits intoljedrz:masterfrom AgentElement:has_free_vars-featMay 30, 2024
+42
Term::has_free_variables
: check if an expression has free variables#54