def includes

bendvy-ecs-core@0.1.0.4 · ordinary_checked_bindings.bend:27

import bendvy-ecs-core@0.1.0.4/ordinary_checked_bindings.bend as OrdinaryCheckedBindings
import Base

27def includes(values:List<&2,Description>,+id:U32) -> Bool:
28  match values:
29    case []:False{}
30    case Description{other,_} <> rest:Bool.or(U32.is_eq(id,other),includes(rest,id))

Uses (6)

Used by (0)

No other definition uses this definition.