Function fungi_lang::subst::subst_term_effect [−][src]
pub fn subst_term_effect(t: Term, x: &String, eff: Effect) -> Effect
Substitute terms into effects
pub fn subst_term_effect(t: Term, x: &String, eff: Effect) -> Effect
Substitute terms into effects