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

import Base
import ezx@1.11.0.0/src/doctor/world.bend as DW
import ezx@1.11.0.0/src/ledger/manifest.bend as M

# the step over what a World read, field by field, with the lock check's
# questions and lines. The first round asks everything but the lock check's
# trees, which follow the sources and each other, as the lock's own questions
# do.
def step.of(
  +ledger: M.Read,
  +cc: String,
  +lib: String,
  +lock: Maybe<&2, String>,
  +rs: List<&2, DW.Reply>,
  ts: List<&2, DW.Ask>,
  cs: List<&2, Note>
) -> Step:
  step.asks(open(List.append(&2, DW.Ask, asks.of(ledger, cc, lib, lock), ts), rs),
    ledger, cc, lib, lock, rs, cs)

Uses (12):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.append
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  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/doctor/plan.bend&name=Note
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/doctor/plan.bend&name=Step
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/doctor/plan.bend&name=asks.of
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/doctor/plan.bend&name=open
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/doctor/plan.bend&name=step.asks
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/doctor/world.bend&name=Ask
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/doctor/world.bend&name=Reply
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ledger/manifest.bend&name=Read