Render.tool.src.ok: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/ledger/render.bend as Render
Lines 207-217 of ezx@1.11.0.0/src/ledger/render.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/ledger/render.bend&start_line=207&end_line=217

import Base
import ezx@1.11.0.0/src/ledger/manifest.bend as M

# whether a pinned CLI's source does. A tool is never imported, so the reader
# keeps no hub name for one, and one written with a name would read back
# without it.
def tool.src.ok(src: M.Source) -> Bool:
  match src:
    case M.Hub{named}:
      String.is_empty(named)
    case M.Git{url, rev, tag, root, nar, vend}:
      source.ok(M.Git{url, rev, tag, root, nar, vend})
    case M.Member{_path, _named}:
      False{}

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.is_empty
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ledger/manifest.bend&name=Source
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ledger/render.bend&name=source.ok