~/jendhub

def contains

bendvy-ecs-core@0.1.0.3 · owned_event_log.bend:26

import bendvy-ecs-core@0.1.0.3/owned_event_log.bend as OwnedEventLog
import Base

26def contains(+ids:List<&2,Nat>,+id:Nat) -> Bool:
27  match ids:
28    case []:False{}
29    case head <> rest:Bool.or(Nat.is_eq(head,id),contains(rest,id))

Uses (5)

Used by (1)