Finalizer.Fin.add_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 45-47 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=45&end_line=47

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

# The patch that adds name to finalizers fs.
def Fin.add_patch(+fs: List<&2, String>, name: String) -> J.Json:
  Fin.add_patch.go(fs, name, List.is_empty(&2, String, fs))

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.is_empty
  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/finalizer.bend&name=Fin.add_patch.go
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/json.bend&name=Json