def nvs.of

ezx@1.11.0.0 · src/ws/doctor.bend:114

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

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