OrdinaryConditionDeclaration.shifted: def of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/ordinary_condition_declaration.bend as OrdinaryConditionDeclaration
Lines 39-45 of bendvy-ecs-core@0.1.0.4/ordinary_condition_declaration.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/ordinary_condition_declaration.bend&start_line=39&end_line=45

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

def shifted(~S:Data,plan:SP.Plan<S>,+offset:U32) -> SP.Plan<S>:
  match plan:
    case SP.Empty{}:SP.Empty{}
    case SP.Entry{Sch.System{id,slot},requirements}:SP.Entry{Sch.System{id,(slot + offset : U32)},requirements}
    case SP.Entry{Sch.Phase{name},requirements}:SP.Entry{Sch.Phase{name},requirements}
    case SP.Entry{Sch.Barrier{},requirements}:SP.Entry{Sch.Barrier{},requirements}
    case SP.Sequence{left,right}:SP.Sequence{shifted(~S,left,offset),shifted(~S,right,offset)}

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.add
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/schedule.bend&name=Step
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/schedule_provision.bend&name=Plan