DependencyRegistryProgram.Join: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/dependency_registry_program.bend as DependencyRegistryProgram
Lines 12-13 of bendvy-ecs-core@0.1.0.3/dependency_registry_program.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/dependency_registry_program.bend&start_line=12&end_line=13

import Base
import bendvy-ecs-core@0.1.0.3/dependency_registration.bend as Reg

def Join(~Error:Data,~Out:Data,~F:Family(~Error,~Out)) -> Type:
  @-World:Type -> @-L:Type -> @-R:Type -> @-left:Dispatch(~World,~L,~Error,~Out) -> @-right:Dispatch(~World,~R,~Error,~Out) -> F(World,L,left) -> F(World,R,right) -> F(World,Reg.Product<L,R>,Reg.paired_dispatch(~World,~L,~R,~Error,~Out,~left,~right))

Uses (4):
  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=paired_dispatch
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/dependency_registry_program.bend&name=Dispatch
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/dependency_registry_program.bend&name=Family