Function fungi_lang::eval::nametm_subst_rec [] [src]

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