Config.Kube.config.fin: def of bend-kube-runtime@0.2.0.0
Import: import bend-kube-runtime@0.2.0.0/src/config.bend as Config
Lines 211-215 of bend-kube-runtime@0.2.0.0/src/config.bend: https://jend.leeeet.dev/read.txt?path=bend-kube-runtime@0.2.0.0/src/config.bend&start_line=211&end_line=215

import Base

def Kube.config.fin(u: Url, ca: Src, cert: Src, key: Src, tok: Src, ns: String) ->
  Result<&2, &2, String, Config>:
  match u:
    case Url{h, p, b}:
      Done{Config{h, p, b, ca, cert, key, tok, ns, None{}}}

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result
  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/config.bend&name=Config
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/config.bend&name=Src
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/config.bend&name=Url