Function fungi_lang::subst::subst_term_nmtm_rec

source · 
pub fn subst_term_nmtm_rec(t: Term, x: &String, m: Rc<NameTm>) -> Rc<NameTm>
Expand description

Substitute terms into name terms