Plan.decide.read: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/add/plan.bend as Plan
Lines 387-394 of ezx@1.11.0.0/src/add/plan.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/add/plan.bend&start_line=387&end_line=394

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

# no ledger, or one that does not parse, is refused before anything else,
# with the reason every command that edits a ledger gives
def decide.read(read: M.Read, +world: A.World) -> Verdict:
  match read:
    case M.Bad{why}:
      Stop{"ez: " ++ M.show(M.Bad{why})}
    case M.Good{_m}:
      decide.place(A.place(world), world)

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.append
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/add/plan.bend&name=Verdict
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/add/plan.bend&name=decide.place
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/add/world.bend&name=World
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/add/world.bend&name=place
  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