def seen

bendvy-ecs-core@0.1.0.3 · restore_prepare.bend:28

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

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

Uses (5)

Used by (1)