def linked
import ezx@1.11.0.0/src/tool/plan.bend as Planimport Base
1220# whether a link is written
1221def linked(fin: Finish) -> Bool:
1222 match fin:
1223 case Launch{_b, _as}:
1224 False{}
1225 case Link{_b, _d, _n, _s}:
1226 True{}
1227 case Idle{}:
1228 False{}