Plan.Walk: type of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/lock/plan.bend as Plan
Lines 66-71 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=66&end_line=71

import Base
import ezx@1.11.0.0/src/lock/lock.bend as L

# a walk in progress: the hashes still queued, the packages resolved, the
# hashes still to be asked about, and the first refusal, "" while there is
# none. The walk is one step, which does not recurse, iterated; so a fact
# about the walk is a fact about one step, carried by induction on the fuel.
type Walk is Data:
  Walk{queue: List<&2, String>, packs: List<&2, L.Pack>, asks: List<&2, String>, bad: String}

Uses (3):
  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/lock.bend&name=Pack