Function fungi_lang::dynamics::nametm_subst_rec

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

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