def names.valid

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

import Base

174# the names of a list that bend would read back
175def names.valid(ns: List<&2, Name>) -> List<&2, Name>:
176  match ns:
177    case []:
178      []
179    case +h <> t:
180      names.valid.pick(name.valid(h), h, names.valid(t))