Joint.hub.one: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/ws/joint.bend as Joint
Lines 312-316 of ezx@1.11.0.0/src/ws/joint.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/ws/joint.bend&start_line=312&end_line=316

import Base
import ezx@1.11.0.0/src/ledger/manifest.bend as M

# whether a member's ledger names the root's hub: it names none, which is the
# root's, or the same one
def hub.one(+hub: String, mm: M.Manifest) -> Bool:
  M.Manifest{_n, _e, _b, +hh, _pa, _pv, _ds, _ts} = mm
  Bool.or(String.is_empty(hh), String.eq(hh, hub))

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.or
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.eq
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.is_empty
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ledger/manifest.bend&name=Manifest