ScheduleProvision.contains: def of bendvy-ecs-core@0.1.0.4 Import: import bendvy-ecs-core@0.1.0.4/schedule_provision.bend as ScheduleProvision Lines 40-43 of bendvy-ecs-core@0.1.0.4/schedule_provision.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/schedule_provision.bend&start_line=40&end_line=43 import Base def contains(~S: Data,items: List<&2,Requirement>,+item: Requirement) -> Bool: match items: case []: False{} case head <> rest: Bool.or(same(~S,head,item),contains(~S,rest,item)) Uses (5): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.or https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/schedule_provision.bend&name=Requirement https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/schedule_provision.bend&name=same