def lock.names

ezx@1.11.0.0 · src/doctor/plan.bend:291

import Base
import ezx@1.11.0.0/src/lock/lock.bend as L

291# the names the lock records, with the hash each names; none when there is
292# no lock, or when it does not read
293def lock.names(lock: Maybe<&2, String>) -> List<&2, L.Name>:
294  match lock:
295    case None{}:
296      []
297    case Some{text}:
298      L.names.read(text)