Feature.pair: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/feature.bend as Feature
Lines 143-145 of bendvy-ecs-core@0.1.0.3/feature.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/feature.bend&start_line=143&end_line=145

import Base
import bendvy-ecs-core@0.1.0.3/execution_registry.bend as Registry
import bendvy-ecs-core@0.1.0.3/dependency_registration.bend as Reg
import bendvy-ecs-core@0.1.0.3/dependency_executor.bend as Exec
import bendvy-ecs-core@0.1.0.3/dependency_composer_program.bend as Scoped

def pair(~S:Data,~World:Type,~Left:Type,~Right:Type,~Error:Data,~Out:Data,~leftDispatch:Left -> World -> U32 -> Left & (World & Exec.Invocation<Error,Out>),~rightDispatch:Right -> World -> U32 -> Right & (World & Exec.Invocation<Error,Out>),left:Assembly<S,Reg.Registry<World,Left,Error,Out,leftDispatch>>,right:Assembly<S,Reg.Registry<World,Right,Error,Out,rightDispatch>>) -> Assembly<S,Reg.Registry<World,Reg.Product<Left,Right>,Error,Out,Reg.paired_dispatch(~World,~Left,~Right,~Error,~Out,~leftDispatch,~rightDispatch)>>:
  match left right:
    case Assembly{left,lf,+ls} Assembly{right,rf,+rs}:Assembly{Sequence{left,right},Registry.paired(~World,~Left,~Right,~Error,~Out,~leftDispatch,~rightDispatch,lf,rf),Scoped.Scope{List.append(&2,U32,scope_members(ls),scope_members(rs)),[ls,rs]}}

Uses (13):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.append
  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.3/dependency_composer_program.bend&name=Scope
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/dependency_executor.bend&name=Invocation
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/dependency_registration.bend&name=Product
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/dependency_registration.bend&name=Registry
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/dependency_registration.bend&name=paired_dispatch
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_registry.bend&name=paired
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/feature.bend&name=Assembly
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/feature.bend&name=Tree
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/feature.bend&name=scope_members