Manifest.hub.or: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/ledger/manifest.bend as Manifest
Lines 430-435 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=430&end_line=435

import Base

# the hub a ledger's packages come from: the `hub` its `[package]` table
# names, or bend's own when it names none. It is read from the committed
# ledger and not from the environment, so two checkouts of one commit lock
# against the same hub whatever their shells say.
def hub.or(+url: String) -> String:
  Bool.pick(String, String.is_empty(url), "https://hub.bend-lang.com", url)

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.pick
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.is_empty