def empty

bendvy-ecs-core@0.1.0.3 · dependency_registry_program.bend:38

import bendvy-ecs-core@0.1.0.3/dependency_registry_program.bend as DependencyRegistryProgram

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

38def 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)):
39  empty(World)

Uses (6)

Used by (0)

No other definition uses this definition.