Function fungi_lang::decide::effect::decide_effect_subtraction

source · 
pub fn decide_effect_subtraction(
    ctx: &Ctx,
    r: Role,
    eff1: Effect,
    eff2: Effect
) -> Result<Effect, Error>
Expand description

Tactic to find the result effect eff3 such that eff1 = eff2 then eff3

TODO: “Verify” the results using our decision procedures; return those derivations with the term that we find