Up.hub.got: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/lock/up.bend as Up
Lines 417-422 of ezx@1.11.0.0/src/lock/up.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/lock/up.bend&start_line=417&end_line=422

import Base
import ezx@1.11.0.0/src/ledger/upgrade.bend as U
import ezx@1.11.0.0/src/hub/hub.bend as Web

def hub.got(got: Web.Got) -> Hubbed:
  match got:
    case Web.Have{_body}:
      Clear{}
    case Web.Miss{why}:
      Bool.pick(Hubbed, U.hub.bad(why), Clash{}, Clear{})

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.pick
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/hub/hub.bend&name=Got
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ledger/upgrade.bend&name=hub.bad
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/up.bend&name=Hubbed