def Proof.forget_busy

bend-kube-runtime@0.2.0.0 · PROOF.bend:85

import Base
import bend-kube-runtime@0.2.0.0/src/queue.bend as Q

85# A busy key leaves any queue as it is.
86def Proof.forget_busy(q: Q.Queue, key: String) -> {Q.Queue.forget.go(q, key, True{}) == q : Q.Queue}:
87  match q:
88    case Q.Queue{f, b, i, r, d, g, fl, n, mx}:
89      {==}