Function fungi_lang::decide::effect::decide_effect_ceffect_sequencing_db

pub fn decide_effect_ceffect_sequencing_db(
    ctx: &Ctx,
    r: Role,
    eff1: Effect,
    ce2: CEffect
) -> Result<CEffect, Error>

The result effect, if it exists, is ceffect3 such that eff1 then ceffect2 = ceffect3

This operation is called “effect coalescing” in the formalism of Fungi. It’s a wrapper around effect sequencing, that pushes another effect after the existing one within the CEffect syntax, even if under one or more “forall” binders.