ExecutionRegistry.command: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/execution_registry.bend as ExecutionRegistry
Lines 10-12 of bendvy-ecs-core@0.1.0.3/execution_registry.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/execution_registry.bend&start_line=10&end_line=12

import Base
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

def command(~World:Type,~Owners:Type,~Error:Data,~Out:Data,~dispatch:Owners -> World -> U32 -> Owners & (World & Exec.Invocation<Error,Out>),registry:Reg.Registry<World,Owners,Error,Out,dispatch>) -> Facts<Reg.Registry<World,Owners,Error,Out,dispatch>>:
  match registry:
    case Reg.Registry{owners,+nodes}:Facts{Reg.Registry{owners,nodes},Reg.ids(nodes)}

Uses (6):
  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_executor.bend&name=Invocation
  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=ids
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_registry.bend&name=Facts