InspectorMetadata.names: def of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/inspector_metadata.bend as InspectorMetadata
Lines 34-40 of bendvy-ecs-core@0.1.0.4/inspector_metadata.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/inspector_metadata.bend&start_line=34&end_line=40

import Base
import schedule_provision.bend as Provision

# Internal keys are lowered exclusively from Resource; wider provision token
# cases have no source entry and confer no category/provider capability.
def names(~S:Data,keys:List<&2,Provision.Requirement<S>>,+values:List<&2,Resource<S>>) -> List<&2,Resource<S>>:
  match keys:
    case []:[]
    case Provision.Resource{id} <> rest:keep(~S,first(~S,id,values),names(~S,rest,values))
    case _ <> rest:names(~S,rest,values)

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/inspector_metadata.bend&name=Resource
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/inspector_metadata.bend&name=first
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/inspector_metadata.bend&name=keep
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/schedule_provision.bend&name=Requirement