Watcher.Watcher.page: def of bend-kube-runtime@0.2.0.0
Import: import bend-kube-runtime@0.2.0.0/src/watcher.bend as Watcher
Lines 110-115 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=110&end_line=115

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

# A page of the list: the first page opens a relist (Init), the last one
# (no continue token) closes it (InitDone) and starts the watch.
def Watcher.page(first: Bool, p: C.Page) -> Step:
  match p:
    case C.Page{items, rv, +cont}:
      Watcher.page.go(first, items, rv, cont, String.is_empty(cont))

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.is_empty
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/core.bend&name=Page
  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.page.go