Watcher.Watcher.list_err: def of bend-kube-runtime@0.2.0.0
Import: import bend-kube-runtime@0.2.0.0/src/watcher.bend as Watcher
Lines 126-133 of bend-kube-runtime@0.2.0.0/src/watcher.bend: https://jend.leeeet.dev/read.txt?path=bend-kube-runtime@0.2.0.0/src/watcher.bend&start_line=126&end_line=133

import Base

# A failed list: an expired continue token relists; else the same page is
# retried after a backoff.
def Watcher.list_err(cont: String, +fails: U32, first: Bool, gone: Bool) -> Step:
  match gone:
    case True{}:
      Watcher.relist(fails)
    case False{}:
      Watcher.retry(WList{cont}, fails, first)

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/watcher.bend&name=Phase
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/watcher.bend&name=Step
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/watcher.bend&name=Watcher.relist
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/watcher.bend&name=Watcher.retry