~/jendhub

def contains

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

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

51def contains(ids:List<&2,U32>,+id:U32) -> Bool:
52  match ids:
53    case []:False{}
54    case head <> rest:Bool.or(U32.is_eq(id,head),contains(rest,id))

Uses (5)

Used by (1)