Function fungi_lang::subst::fv_of_term [−][src]
pub fn fv_of_term(t: &Term) -> Vec<Term>
Compute a list of variables (as terms) that appear free in the given term
pub fn fv_of_term(t: &Term) -> Vec<Term>
Compute a list of variables (as terms) that appear free in the given term