def asks.hub

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

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

419# whether every question names this hub
420def asks.hub(as: List<&2, W.Ask>, +hub: String) -> Bool:
421  match as:
422    case []:
423      True{}
424    case h <> t:
425      +rest = asks.hub(t, hub)
426      Bool.and(String.eq(ask.hub(h), hub), rest)