Finalizer.Fin.state: def of bend-kube-runtime@0.2.0.0
Import: import bend-kube-runtime@0.2.0.0/src/finalizer.bend as Finalizer
Lines 81-84 of bend-kube-runtime@0.2.0.0/src/finalizer.bend: https://jend.leeeet.dev/read.txt?path=bend-kube-runtime@0.2.0.0/src/finalizer.bend&start_line=81&end_line=84

import Base
import bend-kube-runtime@0.2.0.0/src/json.bend as J
import bend-kube-runtime@0.2.0.0/src/core.bend as C

# What the object needs, for the finalizer called name.
def Fin.state(+o: J.Json, +name: String) -> FState:
  Fin.state.go(C.Obj.finalizers(o), name, Fin.index(C.Obj.finalizers(o), name, 0),
    C.Obj.is_deleting(o))

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/core.bend&name=Obj.finalizers
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/core.bend&name=Obj.is_deleting
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/finalizer.bend&name=FState
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/finalizer.bend&name=Fin.index
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/finalizer.bend&name=Fin.state.go
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/json.bend&name=Json