Function fungi_lang::subst::subst_term_ceffect [−][src]
pub fn subst_term_ceffect(t: Term, x: &String, ce: CEffect) -> CEffect
Substitute terms into computation effects
pub fn subst_term_ceffect(t: Term, x: &String, ce: CEffect) -> CEffect
Substitute terms into computation effects