RestorePrepare.seen: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/restore_prepare.bend as RestorePrepare
Lines 28-31 of bendvy-ecs-core@0.1.0.3/restore_prepare.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/restore_prepare.bend&start_line=28&end_line=31

import Base
import bendvy-ecs-core@0.1.0.3/entity_key.bend as Key

def seen(+key:Key.Key,keys:List<&2,Key.Key>) -> Bool:
  match keys:
    case []:False{}
    case other <> rest:Bool.or(Key.equal(key,other),seen(key,rest))

Uses (5):
  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.3/entity_key.bend&name=Key
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/entity_key.bend&name=equal