Finalizer.Fin.remove_patch: def of bend-kube-runtime@0.2.0.0
Import: import bend-kube-runtime@0.2.0.0/src/finalizer.bend as Finalizer
Lines 49-52 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=49&end_line=52

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

# The patch that removes the finalizer at index i, if it is still name.
def Fin.remove_patch(+i: U32, name: String) -> J.Json:
  J.Json.arr([Fin.op("test", "/metadata/finalizers/" ++ U32.show(i), J.JStr{name}),
    J.Json.obj([J.KV{"op", J.JStr{"remove"}}, J.KV{"path", J.JStr{"/metadata/finalizers/" ++ U32.show(i)}}])])

Uses (10):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.append
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.show
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/finalizer.bend&name=Fin.op
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/json.bend&name=Json
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/json.bend&name=Json.arr
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/json.bend&name=Json.obj
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/json.bend&name=KV