def names.ask.lock
import ezx@1.11.0.0/src/lock/plan.bend as Planimport Base
import ezx@1.11.0.0/src/lock/world.bend as W
1294# the questions for the names still open: none when there are none; the lock
1295# being rewritten first, since a name it records is not put to the hub
1296# (EZ-HUB-2); and then each name the lock does not record, once
1297def names.ask.lock(read: Bool, +hub: String, nvs: List<&2, String>) -> List<&2, W.Ask>:
1298 match read:
1299 case True{}:
1300 names.asked(hub, names.once(nvs, []))
1301 case False{}:
1302 [W.Lock{}]