def names.wants.walk

ezx@1.11.0.0 · src/lock/plan.bend:1326

import Base
import ezx@1.11.0.0/src/lock/world.bend as W
import ezx@1.11.0.0/src/lock/lock.bend as L
import ezx@1.11.0.0/src/ledger/manifest.bend as M

1326# the name questions of a walk, which ask nothing once the lock is known to
1327# refuse
1328def names.wants.walk(
1329  wk: Walk,
1330  +led: M.Read,
1331  +listing: W.Listing,
1332  +ns: List<&2, L.Name>,
1333  +js: List<&2, W.Judged>
1334) -> List<&2, W.Ask>:
1335  Walk{_queue, packs, _asks, +bad} = wk
1336  names.wants.bad(String.is_empty(bad), led, listing, ns, js, packs)