def sync.read
import ezx@1.11.0.0/src/tool/plan.bend as Planimport Base
import ezx@1.11.0.0/src/ledger/manifest.bend as M
1154# a project ledger that does not parse is refused
1155def sync.read(led: M.Read, got: Maybe<&2, String>) -> Sync:
1156 match led:
1157 case M.Bad{why}:
1158 SyncNo{"ez: error: " ++ why}
1159 case M.Good{m}:
1160 sync.lock(got, tools.of(m))