World.names.of: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/lock/world.bend as World
Lines 414-422 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=414&end_line=422

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

# every name the answers resolve, in the order they were given. The lock's
# answer is asked for before any name's, so a name it records is never put
# to the hub.
def names.of(js: List<&2, Judged>) -> List<&2, L.Name>:
  match js:
    case []:
      []
    case Judged{_h, v} <> t:
      List.append(&2, L.Name, verdict.names(v), names.of(t))

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.append
  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=Judged
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/world.bend&name=verdict.names