Function fungi_lang::subst::subst_nmtm [−][src]
pub fn subst_nmtm(t: NameTm, x: &String, m: NameTm) -> NameTm
Substitute name terms into name terms
pub fn subst_nmtm(t: NameTm, x: &String, m: NameTm) -> NameTm
Substitute name terms into name terms