CapturedScheduleComposition.pair_selected: def of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/captured_schedule_composition.bend as CapturedScheduleComposition
Lines 62-65 of bendvy-ecs-core@0.1.0.4/captured_schedule_composition.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/captured_schedule_composition.bend&start_line=62&end_line=65

import Base

def pair_selected(~World:Type,~L:Type,~R:Type,~LE:Data,~RE:Data,~left:L -> World -> U32 -> Outcome<World,L,LE>,~right:R -> World -> U32 -> Outcome<World,R,RE>,found:Bool,a:L,b:R,world:World,id:U32) -> Outcome<World,L & R,Choice<LE,RE>>:
  match found:
    case True{}:left_returned(~World,~L,~R,~LE,~RE,b,left(a,world,id))
    case False{}:right_returned(~World,~L,~R,~LE,~RE,a,right(b,world,id))

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  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/captured_schedule_composition.bend&name=Choice
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/captured_schedule_composition.bend&name=Outcome
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/captured_schedule_composition.bend&name=left_returned
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/captured_schedule_composition.bend&name=right_returned