Manifest.hub_of: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/ledger/manifest.bend as Manifest
Lines 437-445 of ezx@1.11.0.0/src/ledger/manifest.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/ledger/manifest.bend&start_line=437&end_line=445

import Base

# the hub of a ledger that was read. One that would not parse names none, and
# so names bend's.
def hub_of(ledger: Read) -> String:
  match ledger:
    case Bad{_why}:
      hub.or("")
    case Good{m}:
      Manifest{_n, _e, _b, h, pa, pv, _ds, _ts} = m
      hub.or(h)

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