Function fungi_lang::subst::subst_term_effect[][src]

pub fn subst_term_effect(t: Term, x: &String, eff: Effect) -> Effect

Substitute terms into effects