def unnamed
import ezx@1.11.0.0/src/pkg/pkg.bend as Pkgimport Base
438# the first named import of a list whose name the hub rules out, or "" when
439# there is none
440def unnamed(ms: List<&2, String>) -> String:
441 match ms:
442 case []:
443 ""
444 case +h <> t:
445 +nv = named.of(h)
446 unnamed.pick(Bool.and(Bool.not(String.is_empty(nv)), Bool.not(name.ok(nv))), nv,
447 _u => unnamed(t))