Manifest.Read: type of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/ledger/manifest.bend as Manifest
Lines 54-57 of ezx@1.11.0.0/src/ledger/manifest.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/ledger/manifest.bend&start_line=54&end_line=57

import Base

# a manifest, or why it could not be read
type Read is Data:
  Bad{why: String}
  Good{m: Manifest}

Uses (2):
  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