def verdict.names

ezx@1.11.0.0 · src/lock/world.bend:403

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

403# the names a verdict resolves: those of a name's or the lock's answer, and
404# none for a package
405def verdict.names(verdict: Verdict) -> List<&2, L.Name>:
406  match verdict:
407    case Ok{_fs, _ss}:
408      []
409    case No{_why}:
410      []
411    case Named{ns}:
412      ns