OrdinaryConditionComposition.binding_targets: 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 161-164 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=161&end_line=164

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

def binding_targets(facts:List<&2,BindingDescription>,+steps:List<&2,Sch.Step>) -> Bool:
  match facts:
    case []:True{}
    case BindingDescription{id,_} <> rest:Bool.and(schedule_has(steps,id),binding_targets(rest,steps))

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.and
  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/ordinary_condition_composition.bend&name=BindingDescription
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/ordinary_condition_composition.bend&name=schedule_has
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/schedule.bend&name=Step