def member

bendvy-ecs-core@0.1.0.3 · execution_state.bend:31

import bendvy-ecs-core@0.1.0.3/execution_state.bend as ExecutionState

import Base
import bendvy-ecs-core@0.1.0.3/world.bend as W

31def member(~S:Data,+handle:W.Handle<S>,handles:List<&2,W.Handle<S>>) -> Bool:
32  match handles:
33    case []:False{}
34    case current <> rest:Bool.or(same(~S,handle,current),member(~S,handle,rest))

Uses (5)

Used by (6)