OrdinaryConditionComposition.selected_left: def of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/ordinary_condition_composition.bend as OrdinaryConditionComposition
Lines 131-136 of bendvy-ecs-core@0.1.0.4/ordinary_condition_composition.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/ordinary_condition_composition.bend&start_line=131&end_line=136

import Base

def selected_left(~World:Type,~Left:Type,~Right:Type,~rightRun:Right -> World -> U32 -> Evaluation<World,Right>,right:Right,id:U32,result:Evaluation<World,Left>) -> Evaluation<World,Left & Right>:
  match result:
    case NoBinding{world,left}:right_returned(~World,~Left,~Right,left,rightRun(right,world,id))
    case Value{world,left,value}:Value{world,(left,right),value}
    case NoValue{world,left}:NoValue{world,(left,right)}
    case InvalidRegistration{world,left}:InvalidRegistration{world,(left,right)}

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/ordinary_condition_composition.bend&name=Evaluation
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/ordinary_condition_composition.bend&name=right_returned