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

Substitute terms into effects