law fin_live_applies

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

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

191# A live object that carries our finalizer is applied.
192law fin_live_applies:
193  for fs: List<&2, String>
194  for name: String
195  for i: U32
196  {F.Fin.state.go(fs, name, Some{i}, False{}) == F.FApply{} : F.FState}

Uses (7)

Used by (0)

No other definition uses this definition.