DependencyRegistryProgram.Checked: 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 18-19 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=18&end_line=19

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

def Checked(~Error:Data,~Out:Data,~World:Type,~Owners:Type,~dispatch:Dispatch(~World,~Owners,~Error,~Out)) -> Type:
  Reg.Registry<World,Owners,Error,Out,dispatch>

Uses (2):
  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_registry_program.bend&name=Dispatch