Runtime.Ctl.gone_keys: def of bend-kube-runtime@0.2.0.0
Import: import bend-kube-runtime@0.2.0.0/src/runtime.bend as Runtime
Lines 323-331 of bend-kube-runtime@0.2.0.0/src/runtime.bend: https://jend.leeeet.dev/read.txt?path=bend-kube-runtime@0.2.0.0/src/runtime.bend&start_line=323&end_line=331

import Base
import bend-kube-runtime@0.2.0.0/src/core.bend as C
import bend-kube-runtime@0.2.0.0/src/watcher.bend as W

# The keys of objects a primary watcher saw deleted.
def Ctl.gone_keys(outs: List<&2, W.Out>) -> List<&2, String>:
  match outs:
    case Nil{}:
      Nil{}
    case Con{W.ODelete{+o}, t}:
      C.Obj.key(o) <> Ctl.gone_keys(t)
    case Con{o, t}:
      Ctl.gone_keys(t)

Uses (4):
  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=bend-kube-runtime@0.2.0.0/src/core.bend&name=Obj.key
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/watcher.bend&name=Out