def leaf_inject
bendvy-ecs-core@0.1.0.4 · ordinary_removal_provision.bend:13
import bendvy-ecs-core@0.1.0.4/ordinary_removal_provision.bend as OrdinaryRemovalProvision
import Base
import bendvy-ecs-core@0.1.0.4/ordinary_declaration.bend as Identity
import bendvy-ecs-core@0.1.0.4/world.bend as W
import bendvy-ecs-core@0.1.0.4/removals.bend as Rm
13def leaf_inject(~S:Data,~P:Type,identity:Identity.Declaration<S,P>,handle:W.Handle<S>) -> Rm.Record<S,Identity.Declaration<S,P>>:
14 Rm.Removed{handle,identity}