def names.missing

ezx@1.11.0.0 · src/lock/plan.bend:522

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

522# the first name of a list the table does not resolve, or "" when it
523# resolves them all
524def names.missing(+ns: List<&2, L.Name>, nvs: List<&2, String>) -> String:
525  match nvs:
526    case []:
527      ""
528    case +h <> t:
529      names.missing.pick(String.is_empty(L.name.find(ns, h)), h, _u => names.missing(ns, t))