law fin_gone_done

bend-kube-runtime@0.2.0.0 · LAWS.bend:198

import Base
import bend-kube-runtime@0.2.0.0/src/finalizer.bend as F

198# A deleted object that no longer carries it needs nothing more.
199law fin_gone_done:
200  for fs: List<&2, String>
201  for name: String
202  {F.Fin.state.go(fs, name, None{}, True{}) == F.FDone{} : F.FState}