def names

ezx@1.11.0.0 · src/add/hub.bend:436

import Base
import ezx@1.11.0.0/src/lock/world.bend as W

436# whether any question does
437def names(as: List<&2, W.Ask>) -> Bool:
438  match as:
439    case []:
440      False{}
441    case h <> t:
442      +rest = names(t)
443      Bool.or(names.one(h), rest)