Function fungi_lang::subst::subst_term_ceffect_rec

pub fn subst_term_ceffect_rec(
    t: Term, 
    x: &String, 
    ce: Rc<CEffect>
) -> Rc<CEffect>

Substitute terms into computation effects