Doctor.nvs.of: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/ws/doctor.bend as Doctor
Lines 114-122 of ezx@1.11.0.0/src/ws/doctor.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/ws/doctor.bend&start_line=114&end_line=122

import Base
import ezx@1.11.0.0/src/ws/joint.bend as J

# every name a member is imported by. Such a name is resolved in the
# workspace whether or not a section names it (EZ-WS-6), so no member's
# ledger has to.
def nvs.of(xs: List<&2, J.Member>) -> List<&2, String>:
  match xs:
    case []:
      []
    case hd <> tl:
      List.append(&2, String, nv.of(J.member.naming(hd)), nvs.of(tl))

Uses (6):
  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=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/doctor.bend&name=nv.of
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/joint.bend&name=Member
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/joint.bend&name=member.naming