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