Config.Kube.config.server: def of bend-kube-runtime@0.2.0.0
Import: import bend-kube-runtime@0.2.0.0/src/config.bend as Config
Lines 217-223 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=217&end_line=223

import Base
import bend-kube-runtime@0.2.0.0/src/json.bend as J

def Kube.config.server(s: J.Json, ca: Src, cert: Src, key: Src, tok: Src, ns: String) ->
  Result<&2, &2, String, Config>:
  match s:
    case J.JStr{url}:
      Kube.config.fin(Url.parse(url), ca, cert, key, tok, ns)
    case _:
      Fail{"kubeconfig: the cluster has no server"}

Uses (7):
  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=Kube.config.fin
  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.parse
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/json.bend&name=Json