CheckedConditionSchedule.attach: def of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/checked_condition_schedule.bend as CheckedConditionSchedule
Lines 24-26 of bendvy-ecs-core@0.1.0.4/checked_condition_schedule.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/checked_condition_schedule.bend&start_line=24&end_line=26

import Base
import bendvy-ecs-core@0.1.0.4/ordinary_checked_bindings.bend as B
import bendvy-ecs-core@0.1.0.4/world.bend as W
import bendvy-ecs-core@0.1.0.4/schedule.bend as Sch

def attach(~S:Data,~C:Type,~R:Type,~E:Data,~H:Type,~B:Type,~select:B -> W.World<S,C,R,E> -> U32 -> B.Selection<W.World<S,C,R,E>,B>,schedule:Sch.Schedule<S,C,R,E,H>,bindings:B.Bindings<W.World<S,C,R,E>,B,select>) -> Attachment<S,C,R,E,H,B,select>:
  match schedule bindings:
    case Sch.Schedule{namespace,name,+steps,owners} B.Bindings{state,+facts}:attached(~S,~C,~R,~E,~H,~B,~select,Bool.and(B.unique(facts,[]),B.targets(facts,steps)),namespace,name,steps,owners,B.Bindings{state,facts},facts)

Uses (11):
  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=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/checked_condition_schedule.bend&name=Attachment
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/checked_condition_schedule.bend&name=attached
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/ordinary_checked_bindings.bend&name=Bindings
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/ordinary_checked_bindings.bend&name=Selection
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/ordinary_checked_bindings.bend&name=targets
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/ordinary_checked_bindings.bend&name=unique
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/schedule.bend&name=Schedule
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/world.bend&name=World