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

The result effect, if it exists, is eff3 such that eff1 then eff2 = eff3