def hub.one
import ezx@1.11.0.0/src/ws/joint.bend as Jointimport Base
import ezx@1.11.0.0/src/ledger/manifest.bend as M
312# whether a member's ledger names the root's hub: it names none, which is the
313# root's, or the same one
314def hub.one(+hub: String, mm: M.Manifest) -> Bool:
315 M.Manifest{_n, _e, _b, +hh, _pa, _pv, _ds, _ts} = mm
316 Bool.or(String.is_empty(hh), String.eq(hh, hub))