Function fungi_lang::subst::fv_of_idxtm [−][src]
pub fn fv_of_idxtm(i: &IdxTm, bound: Vec<Term>, out: &mut Vec<Term>)
Compute the free variables of an index term
pub fn fv_of_idxtm(i: &IdxTm, bound: Vec<Term>, out: &mut Vec<Term>)
Compute the free variables of an index term