def read
import ezx@1.11.0.0/src/ledger/manifest.bend as Manifestimport Base
import ezx@1.11.0.0/src/toml/toml.bend as T
255# the sections judged, then read
256def read(+bad: String, +ss: List<&2, T.Sect>) -> Read:
257 read.go(String.is_empty(problem(bad, missing(ss))),
258 problem(bad, missing(ss)), ss)