Function fungi_lang::subst::subst_term_idxtm_rec

source · 
pub fn subst_term_idxtm_rec(t: Term, x: &String, i: Rc<IdxTm>) -> Rc<IdxTm>
Expand description

Substitute terms into index terms