Function fungi_lang::subst::fv_contains_idxtm [−][src]
pub fn fv_contains_idxtm(fv: &Vec<Term>, x: &String) -> bool
Test if an index term variable appears in a vector of variable terms
pub fn fv_contains_idxtm(fv: &Vec<Term>, x: &String) -> bool
Test if an index term variable appears in a vector of variable terms