OrdinaryAppScheduleDescription.placed: def of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/ordinary_app_schedule_description.bend as OrdinaryAppScheduleDescription
Lines 37-42 of bendvy-ecs-core@0.1.0.4/ordinary_app_schedule_description.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/ordinary_app_schedule_description.bend&start_line=37&end_line=42

import Base
import bendvy-ecs-core@0.1.0.4/ordinary_app_schedule.bend as Schedule
import bendvy-ecs-core@0.1.0.4/ordinary_app_observation_data.bend as DTO

# Advanced placement derivation over supplied planned steps, starting at position.
# Bindings are detached input metadata, not another registration authority.
def placed(~S:Data,steps:List<&2,Schedule.PlannedStep<S>>,+namespace:U32,+bindings:List<&2,DTO.Binding<S>>,+position:Nat) -> List<&2,Placement<S>>:
  match steps:
    case []:[]
    case first <> rest:step(~S,namespace,bindings,position,first) <> placed(~S,rest,namespace,bindings,1n+position)

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  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/ordinary_app_observation_data.bend&name=Binding
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/ordinary_app_schedule.bend&name=PlannedStep
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/ordinary_app_schedule_description.bend&name=Placement
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/ordinary_app_schedule_description.bend&name=step