World.verdict.names: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/lock/world.bend as World
Lines 403-412 of ezx@1.11.0.0/src/lock/world.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/lock/world.bend&start_line=403&end_line=412

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

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

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/lock.bend&name=Name
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/world.bend&name=Verdict