Function fungi_lang::subst::subst_term_idxtm [−][src]
pub fn subst_term_idxtm(t: Term, x: &String, i: IdxTm) -> IdxTm
Substitute terms into index terms
pub fn subst_term_idxtm(t: Term, x: &String, i: IdxTm) -> IdxTm
Substitute terms into index terms