Function fungi_lang::subst::subst_term_ceffect_rec

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

Substitute terms into computation effects