def names.wants.stop

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

import ezx@1.11.0.0/src/lock/plan.bend as Plan
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

1346def names.wants.stop(clean: Bool, +led: M.Read, listing: W.Listing, +js: List<&2, W.Judged>) -> List<&2, W.Ask>:
1347  match clean:
1348    case True{}:
1349      names.wants.gap(String.is_empty(need.why(led)), led, listing, js)
1350    case False{}:
1351      []

Uses (9)

Used by (1)