def member

bendvy-ecs-core@0.1.0.3 · execution_deferred_settings.bend:19

import bendvy-ecs-core@0.1.0.3/execution_deferred_settings.bend as ExecutionDeferredSettings

import Base

19def member(+id:U32,ids:List<&2,U32>) -> Bool:
20  match ids:
21    case []:False{}
22    case other <> rest:Bool.or(U32.is_eq(id,other),member(id,rest))

Uses (5)

Used by (11)