ExecutionConditionRegistry.Join: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/execution_condition_registry.bend as ExecutionConditionRegistry
Lines 54-55 of bendvy-ecs-core@0.1.0.3/execution_condition_registry.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/execution_condition_registry.bend&start_line=54&end_line=55

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

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

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