def combined_decision
bendvy-ecs-core@0.1.0.4 · ordinary_condition_composition.bend:82
import bendvy-ecs-core@0.1.0.4/ordinary_condition_composition.bend as OrdinaryConditionComposition
import Base
82def combined_decision(~World:Type,~Left:Type,~Right:Type,~rightRun:Right -> World -> Evaluation<World,Right>,continue:Bool,left:Left,right:Right,world:World,value:Bool) -> Evaluation<World,Left & Right>:
83 match continue:
84 case False{}:Value{world,(left,right),value}
85 case True{}:right_returned(~World,~Left,~Right,left,rightRun(right,world))