def Join
bendvy-ecs-core@0.1.0.3 · execution_condition_registry.bend:54
import bendvy-ecs-core@0.1.0.3/execution_condition_registry.bend as ExecutionConditionRegistry
import Base
import bendvy-ecs-core@0.1.0.3/dependency_registration.bend as Reg
54def Join(~Error:Data,~F:Family(~Error)) -> Type:
55 @-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))