Function fungi_lang::subst::fv_of_term

source · 
pub fn fv_of_term(t: &Term) -> Vec<Term> ⓘ
Expand description

Compute a list of variables (as terms) that appear free in the given term