Kube.Opts.with_leader: def of bend-kube-runtime@0.2.0.0
Import: import bend-kube-runtime@0.2.0.0/src/kube.bend as Kube
Lines 28-31 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=28&end_line=31

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

def Opts.with_leader(o: Opts, ns: String, name: String, id: String) -> Opts:
  match o:
    case Opts{m, p, l, s}:
      Opts{m, p, Some{E.LOpts.default(ns, name, id)}, s}

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=bend-kube-runtime@0.2.0.0/src/kube.bend&name=Opts
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/leader.bend&name=LOpts.default