Readings.all: 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 23-26 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=23&end_line=26

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

def all(~S: Data,~E: Data,keys: List<&2,D.DescriptorKey<S>>,+domains: List<&2,D.Domain<S,E>>,+position: Ev.Position) -> List<&2,KeyReading<S,E>>:
  match keys:
    case []: []
    case key <> rest: one(~S,~E,domains,key,position) <> all(~S,~E,rest,domains,position)

Uses (6):
  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/readings.bend&name=KeyReading
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/internal/relation_failures/readings.bend&name=one