def empty

bendvy-ecs-core@0.1.0.3 · execution_condition_registry.bend:69

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

69def empty(~World:Type,~Error:Data,~F:Family(~Error),~leaf:Leaf(~Error,~F),~pair:Join(~Error,~F),~empty:Vacant(~Error,~F),_:Unit) -> F(World,Unit,Reg.empty_dispatch(~World,~Error,~Bool)):
70  empty(World)

Uses (7)

Used by (0)

No other definition uses this definition.