def removal_name

bendvy-ecs-core@0.1.0.4 · ordinary_reader_stream_parameter.bend:339

import Base
import bendvy-ecs-core@0.1.0.4/world.bend as W
import bendvy-ecs-core@0.1.0.4/ordinary_removal_provision.bend as Provision
import bendvy-ecs-core@0.1.0.4/ordinary_declaration.bend as Identity
import bendvy-ecs-core@0.1.0.4/removals.bend as Rm

339# Removal declarations retain their nominal component identity and selector.
340def removal_name(~S:Data,~Payload:Type,~E:Data,
341  ~inject:Identity.Declaration<S,Payload> -> W.Handle<S> -> E,
342  ~select:E -> Maybe<&2,Rm.Record<S,Identity.Declaration<S,Payload>>>,
343  selection:Provision.Selection<S,Payload,E,inject,select>) -> String:
344  match selection:
345    case Provision.Selection{identity}:Identity.key(~S,~Payload,identity)