type Walk
import ezx@1.11.0.0/src/lock/plan.bend as Planimport Base
import ezx@1.11.0.0/src/lock/lock.bend as L
66# a walk in progress: the hashes still queued, the packages resolved, the
67# hashes still to be asked about, and the first refusal, "" while there is
68# none. The walk is one step, which does not recurse, iterated; so a fact
69# about the walk is a fact about one step, carried by induction on the fuel.
70type Walk is Data:
71 Walk{queue: List<&2, String>, packs: List<&2, L.Pack>, asks: List<&2, String>, bad: String}