OrdinaryConditionComposition.schedule_has: def of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/ordinary_condition_composition.bend as OrdinaryConditionComposition
Lines 156-160 of bendvy-ecs-core@0.1.0.4/ordinary_condition_composition.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/ordinary_condition_composition.bend&start_line=156&end_line=160

import Base
import bendvy-ecs-core@0.1.0.4/schedule.bend as Sch

def schedule_has(steps:List<&2,Sch.Step>,+id:U32) -> Bool:
  match steps:
    case []:False{}
    case Sch.System{bound,_} <> rest:Bool.or(U32.is_eq(bound,id),schedule_has(rest,id))
    case _ <> rest:schedule_has(rest,id)

Uses (6):
  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=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_eq
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/schedule.bend&name=Step