Function fungi_lang::eval::nametm_subst [] [src]

pub fn nametm_subst(nmtm: NameTm, x: &Var, v: &NameTm) -> NameTm