Function fungi_lang::subst::subst_term_effect_rec

pub fn subst_term_effect_rec(t: Term, x: &String, eff: Rc<Effect>) -> Rc<Effect>

Substitute terms into effects