def combined_run
bendvy-ecs-core@0.1.0.4 · ordinary_checked_condition.bend:85
import bendvy-ecs-core@0.1.0.4/ordinary_checked_condition.bend as OrdinaryCheckedCondition
import Base
85def combined_run(~World:Type,~Left:Type,~Right:Type,~left_run:Left -> World -> Evaluation<World,Left>,~right_run:Right -> World -> Evaluation<World,Right>,~on:Bool,owners:Left & Right,world:World) -> Evaluation<World,Left & Right>:
86 match owners:
87 case (left,right):left_returned(~World,~Left,~Right,~right_run,on,right,left_run(left,world))