~/jendhub

def has

bendvy-ecs-core@0.1.0.3 · execution_event_family.bend:42

import bendvy-ecs-core@0.1.0.3/execution_event_family.bend as ExecutionEventFamily
import Base

42def has(+ids:List<&2,U32>,+wanted:U32) -> Bool:
43  match ids:
44    case []:False{}
45    case id <> rest:Bool.or(U32.is_eq(id,wanted),has(rest,wanted))

Uses (5)

Used by (1)