Function fungi_lang::decide::effect::decide_effect_sequencing
source · 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