Manifest.source.named: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/ledger/manifest.bend as Manifest
Lines 88-98 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=88&end_line=98

import Base

# a hub source, with the `<name>@<version>` a dependency's section records
# under `hub`, "" for none. A git source keeps no name, and neither does a
# tool: a tool is not imported, so nothing names it.
def source.named(named: String, src: Source) -> Source:
  match src:
    case Hub{_old}:
      Hub{named}
    case Git{url, rev, tag, root, nar, vend}:
      Git{url, rev, tag, root, nar, vend}
    case Member{path, nv}:
      Member{path, nv}

Uses (2):
  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=Source