RelationFailureReader.keys: def of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/relation_failure_reader.bend as RelationFailureReader
Lines 18-21 of bendvy-ecs-core@0.1.0.4/relation_failure_reader.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/relation_failure_reader.bend&start_line=18&end_line=21

import Base
import internal/relation_failures/domains.bend as D

def keys(~S:Data,declarations:List<&2,Declaration<S>>) -> List<&2,D.DescriptorKey<S>>:
  match declarations:
    case []: []
    case declaration <> rest: key(~S,declaration) <> keys(~S,rest)

Uses (4):
  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/internal/relation_failures/domains.bend&name=DescriptorKey
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/relation_failure_reader.bend&name=Declaration
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/relation_failure_reader.bend&name=key