Function fungi_lang::subst::fv_of_nmtm

source · 
pub fn fv_of_nmtm(n: &NameTm, bound: Vec<Term>, out: &mut Vec<Term>)
Expand description

Compute the free variables of a name term