World.hub.why: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/lock/world.bend as World
Lines 341-350 of ezx@1.11.0.0/src/lock/world.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/lock/world.bend&start_line=341&end_line=350

import Base
import ezx@1.11.0.0/src/lock/lock.bend as L
import ezx@1.11.0.0/src/share/say.bend as Say

# why a hub package could not be read. One the ledger names is explained the
# way a hub miss always was. One it does not name is said to be unnamed, since
# that, and not the hub, is what a person has to fix.
def hub.why(named: Bool, +hash: String, +hub: String, +why: String) -> String:
  match named:
    case True{}:
      Say.hub.explain(hash, L.url_of(hub, hash, "manifest"), why)
    case False{}:
      "ez: " ++ hash ++ " is imported, ez.toml does not name it, and the hub at " ++
        hub ++ " did not serve it (" ++ why ++ "). A package taken from git is recorded with `ez add`."

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.append
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/lock.bend&name=url_of
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/share/say.bend&name=hub.explain