def sync.refuses

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

import Base

1183# whether a sync refuses
1184def sync.refuses(synced: Sync) -> Bool:
1185  match synced:
1186    case Sync{_ns}:
1187      False{}
1188    case SyncNo{_why}:
1189      True{}