Manifest.show: def of ezx@1.11.0.0 Import: import ezx@1.11.0.0/src/ledger/manifest.bend as Manifest Lines 298-304 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=298&end_line=304 import Base # the ledger, or the error, on one line def show(ledger: Read) -> String: match ledger: case Bad{why}: "error: " ++ why case Good{m}: show.m(m) Uses (4): 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=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.m