def walk.done
import ezx@1.11.0.0/src/lock/plan.bend as Planimport Base
155# whether a walk has nothing left in its queue
156def walk.done(+wk: Walk) -> Bool:
157 Walk{queue, _packs, _asks, _bad} = wk
158 List.is_empty(&2, String, queue)
import ezx@1.11.0.0/src/lock/plan.bend as Planimport Base
155# whether a walk has nothing left in its queue
156def walk.done(+wk: Walk) -> Bool:
157 Walk{queue, _packs, _asks, _bad} = wk
158 List.is_empty(&2, String, queue)