Plan.names.missing: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/lock/plan.bend as Plan
Lines 522-529 of ezx@1.11.0.0/src/lock/plan.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/lock/plan.bend&start_line=522&end_line=529

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

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

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=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.is_empty
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/lock.bend&name=Name
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/lock.bend&name=name.find
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/plan.bend&name=names.missing.pick