def sync.names
import ezx@1.11.0.0/src/tool/plan.bend as Planimport Base
1191# the names a sync installs, none when it refuses
1192def sync.names(synced: Sync) -> List<&2, String>:
1193 match synced:
1194 case Sync{ns}:
1195 ns
1196 case SyncNo{_why}:
1197 []