def names.of

ezx@1.11.0.0 · src/lock/world.bend:414

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

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