def names.one

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

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

428# whether a question asks the hub what a name names
429def names.one(ask: W.Ask) -> Bool:
430  match ask:
431    case W.Name{_nv, _hub}:
432      True{}
433    case _:
434      False{}