def brk.same

bend-kit-runner@0.13.0.1 · runner.bend:196

import Base
import bend-kit-retry@0.3.0.0/retry.bend as Retry

196def brk.same(a: Retry.State, b: Retry.State) -> Bool:
197  match a b:
198    case Retry.CircuitClosed{xs} Retry.CircuitClosed{ys}:
199      brk.nats(xs, ys)
200    case Retry.CircuitOpen{+x} Retry.CircuitOpen{+y}:
201      Nat.is_eq(x, y)
202    case Retry.CircuitHalf{+x} Retry.CircuitHalf{+y}:
203      Nat.is_eq(x, y)
204    case p q:
205      False{}