Plan.led.read: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/pub/plan.bend as Plan
Lines 266-274 of ezx@1.11.0.0/src/pub/plan.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/pub/plan.bend&start_line=266&end_line=274

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

# the entry a parsed ledger names, `main.bend` when it names none, and the
# name its `publish-as` and `version` give it
def led.read(ledger: M.Read) -> Led:
  match ledger:
    case M.Bad{why}:
      LedNo{"ez: " ++ M.show(M.Bad{why})}
    case M.Good{m}:
      M.Manifest{_n, +e, _b, _h, +pa, +pv, _ds, _ts} = m
      led.named(Bool.pick(String, String.is_empty(e), "main.bend", e), naming(pa, pv))

Uses (10):
  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.append
  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=Manifest
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ledger/manifest.bend&name=Read
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ledger/manifest.bend&name=show
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/pub/plan.bend&name=Led
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/pub/plan.bend&name=led.named
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/pub/plan.bend&name=naming