World.manifest.of: def of ezx@1.13.0.0
Import: import ezx@1.13.0.0/src/add/world.bend as World
Lines 123-130 of ezx@1.13.0.0/src/add/world.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.13.0.0/src/add/world.bend&start_line=123&end_line=130

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

# the model of a ledger that read; an empty one otherwise, which nothing
# writes, since a ledger that did not read is refused
def manifest.of(led: M.Read) -> M.Manifest:
  match led:
    case M.Bad{_why}:
      M.Manifest{"", "", "", "", "", "", [], []}
    case M.Good{m}:
      m

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=ezx@1.13.0.0/src/ledger/manifest.bend&name=Manifest
  https://jend.leeeet.dev/definition.txt?path=ezx@1.13.0.0/src/ledger/manifest.bend&name=Read