def contains

bendvy-ecs-core@0.1.0.4 · schedule_provision.bend:40

import bendvy-ecs-core@0.1.0.4/schedule_provision.bend as ScheduleProvision

import Base

40def contains(~S: Data,items: List<&2,Requirement<S>>,+item: Requirement<S>) -> Bool:
41  match items:
42    case []: False{}
43    case head <> rest: Bool.or(same(~S,head,item),contains(~S,rest,item))

Uses (5)

Used by (2)