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

Substitute terms into effects