def names.wants.gap

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

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

1338def names.wants.gap(clean: Bool, +led: M.Read, +listing: W.Listing, +js: List<&2, W.Judged>) -> List<&2, W.Ask>:
1339  match clean:
1340    case True{}:
1341      +ns = table(led, js)
1342      names.wants.walk(walk.of(led, listing, ns, js), led, listing, ns, js)
1343    case False{}:
1344      []