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

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

# the checkout's ledger as read. A checkout with no ez.toml is a plain Bend
# repository, whose ledger names nothing: no package, no entry, no deps.
def led.of(got: Maybe<&2, String>) -> M.Read:
  match got:
    case None{}:
      M.Good{M.Manifest{"", "", "", "", "", "", [], []}}
    case Some{text}:
      M.parse(text)

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  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=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=parse