def manifest.of

ezx@1.11.0.0 · src/add/world.bend:123

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

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