Function fungi_lang::subst::fv_of_idxtm

source · 
pub fn fv_of_idxtm(i: &IdxTm, bound: Vec<Term>, out: &mut Vec<Term>)
Expand description

Compute the free variables of an index term