pub fn fv_of_term(t: &Term) -> Vec<Term> ⓘ
Compute a list of variables (as terms) that appear free in the given term