Function fungi_lang::dynamics::nametm_subst_rec

pub fn nametm_subst_rec(nmtm: Rc<NameTm>, x: &Var, v: &NameTm) -> Rc<NameTm>

Substitute a name term value for a free variable in another term