Function fungi_lang::subst::subst_nmtm_rec

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

Substitute name terms into name terms