3. r.args = l
i:
. reduce(
t,vs. term_free_vars(t) @ vs;nil;l) = nil 
i < ||l|| term_free_vars(l[i]) = nil reduce(t,vs. term_free_vars(t) @ vs;nil;l) = nil i < ||l|| term_free_vars(l[i]) = nil| 1 | 2. l: Term List 3. r.args = l i:. reduce(t,vs. term_free_vars(t) @ vs;nil;l) = nil i < ||l|| term_free_vars(l[i]) = nil |
About:
 |  |  |  |  |  |  |