def sync.why

ezx@1.11.0.0 · src/tool/plan.bend:1136

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

1136# every name installed, or the refusal the scan found
1137def sync.why(ok: Bool, +why: String, ts: List<&2, M.Tool>) -> Sync:
1138  match ok:
1139    case True{}:
1140      Sync{names.of(ts)}
1141    case False{}:
1142      SyncNo{why}