Readings.one: def of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/internal/relation_failures/readings.bend as Readings
Lines 18-21 of bendvy-ecs-core@0.1.0.4/internal/relation_failures/readings.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/internal/relation_failures/readings.bend&start_line=18&end_line=21

import Base
import domains.bend as D
import bendvy-ecs-core@0.1.0.4/event_runtime.bend as Ev

def one(~S: Data,~E: Data,domains: List<&2,D.Domain<S,E>>,+wanted: D.DescriptorKey<S>,+position: Ev.Position) -> KeyReading<S,E>:
  match domains:
    case []: KeyReading{wanted,[],False{}}
    case D.Domain{+key,queue,_} <> rest: select(~S,~E,D.key_equal(~S,key,wanted),key,queue,position,_ => one(~S,~E,rest,wanted,position))

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  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/event_runtime.bend&name=Position
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/internal/relation_failures/domains.bend&name=DescriptorKey
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/internal/relation_failures/domains.bend&name=Domain
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/internal/relation_failures/domains.bend&name=key_equal
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/internal/relation_failures/readings.bend&name=KeyReading
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/internal/relation_failures/readings.bend&name=select