def member

bendvy-ecs-core@0.1.0.4 · internal/relation_failures/domains.bend:15

import bendvy-ecs-core@0.1.0.4/internal/relation_failures/domains.bend as Domains

import Base

15def member(ids: List<&2,U32>,+wanted: U32) -> Bool:
16  match ids:
17    case []: False{}
18    case id <> rest: Bool.or(U32.is_eq(id,wanted),member(rest,wanted))

Uses (5)

Used by (2)