def stops.v
import ezx@1.11.0.0/src/pub/plan.bend as Planimport Base
1270# whether a verdict refuses outright: it asks nothing and sends nothing
1271def stops.v(verdict: Verdict) -> Bool:
1272 match verdict:
1273 case Go{}:
1274 False{}
1275 case Pending{_asks}:
1276 False{}
1277 case Stop{_why}:
1278 True{}