~/jendhub

def sequence_selected

bendvy-ecs-core@0.1.0.4 · ordinary_condition_composition.bend:137

import bendvy-ecs-core@0.1.0.4/ordinary_condition_composition.bend as OrdinaryConditionComposition
import Base

137def sequence_selected(~World:Type,~Left:Type,~Right:Type,~leftRun:Left -> World -> U32 -> Evaluation<World,Left>,~rightRun:Right -> World -> U32 -> Evaluation<World,Right>,owners:Left & Right,world:World,+id:U32) -> Evaluation<World,Left & Right>:
138  match owners:
139    case (left,right):selected_left(~World,~Left,~Right,~rightRun,right,id,leftRun(left,world,id))

Uses (5)

Used by (1)