RestoreGraphValidation.contains: def of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/restore_graph_validation.bend as RestoreGraphValidation
Lines 9-12 of bendvy-ecs-core@0.1.0.4/restore_graph_validation.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/restore_graph_validation.bend&start_line=9&end_line=12

import Base
import bendvy-ecs-core@0.1.0.4/entity_key.bend as Key
import bendvy-ecs-core@0.1.0.4/snapshot_data.bend as Basic

def contains(+key:Key.Key,entities:List<&2,Basic.Entity>) -> Bool:
  match entities:
    case []:False{}
    case Basic.Entity{other,_} <> rest:Bool.or(Key.equal(key,other),contains(key,rest))

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.or
  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/entity_key.bend&name=Key
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/entity_key.bend&name=equal
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/snapshot_data.bend&name=Entity