DependencyRegistryProgram.empty: 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 38-39 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=38&end_line=39

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

def empty(~World:Type,~Error:Data,~Out:Data,~F:Family(~Error,~Out),~embed:Embed(~Error,~Out,~F),~pair:Join(~Error,~Out,~F),~empty:Vacant(~Error,~Out,~F),_:Unit) -> F(World,Unit,Reg.empty_dispatch(~World,~Error,~Out)):
  empty(World)

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Unit
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/dependency_registration.bend&name=empty_dispatch
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/dependency_registry_program.bend&name=Embed
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/dependency_registry_program.bend&name=Family
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/dependency_registry_program.bend&name=Join
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/dependency_registry_program.bend&name=Vacant