Plan.step.ups: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/lock/plan.bend as Plan
Lines 1388-1402 of ezx@1.11.0.0/src/lock/plan.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/lock/plan.bend&start_line=1388&end_line=1402

import Base
import ezx@1.11.0.0/src/lock/world.bend as W
import ezx@1.11.0.0/src/lock/up.bend as Up

# the upgrade's questions first, since the packages the lock reads depend on
# where the pins move
def step.ups(
  ups: List<&2, Up.Ask>,
  +here: String,
  +nx: Up.Next,
  +listing: W.Listing,
  +replies: List<&2, W.Reply>
) -> Step:
  match ups:
    case []:
      step.pkgs(wants.of(here, nx, listing, replies), names.wants.of(nx, listing, replies), nx,
        listing, replies)
    case h <> t:
      Asking{[], queries(here, h <> t), []}

Uses (11):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/plan.bend&name=Step
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/plan.bend&name=names.wants.of
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/plan.bend&name=queries
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/plan.bend&name=step.pkgs
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/plan.bend&name=wants.of
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/up.bend&name=Ask
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/up.bend&name=Next
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/world.bend&name=Listing
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/world.bend&name=Reply