def name.pairs

ezx@1.11.0.0 · src/lock/lock.bend:131

import Base

131# each name the table resolves, with its hash; one it does not is left out
132def name.pairs(+ns: List<&2, Name>, nvs: List<&2, String>) -> List<&2, Name>:
133  match nvs:
134    case []:
135      []
136    case +h <> t:
137      List.append(&2, Name, name.one(h, name.find(ns, h)), name.pairs(ns, t))