Kube.Opts: type of bend-kube-runtime@0.2.0.0
Import: import bend-kube-runtime@0.2.0.0/src/kube.bend as Kube
Lines 19-22 of bend-kube-runtime@0.2.0.0/src/kube.bend: https://jend.leeeet.dev/read.txt?path=bend-kube-runtime@0.2.0.0/src/kube.bend&start_line=19&end_line=22

import Base
import bend-kube-runtime@0.2.0.0/src/leader.bend as E

# max: reconciles at once; port: health and metrics (0: off); leader: the
# Lease to hold while running; label: the primary watch's label selector.
type Opts is Data:
  Opts{max: U32, port: U32, leader: Maybe<&2, E.LOpts>, label: String}

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  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/leader.bend&name=LOpts