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

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

def Kube.config.with(+kc: J.Json, name: String, +c: J.Json) -> Result<&2, &2, String, Config>:
  Kube.config.build(
    Kube.named(J.Json.items(J.Json.get(kc, "clusters")),
      J.Json.str_or(J.Json.get(c, "cluster"), ""), "cluster"),
    Kube.named(J.Json.items(J.Json.get(kc, "users")),
      J.Json.str_or(J.Json.get(c, "user"), ""), "user"),
    J.Json.str_or(J.Json.get(c, "namespace"), "default"), name, J.Json.is_null(c))

Uses (10):
  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.build
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/config.bend&name=Kube.named
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/json.bend&name=Json
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/json.bend&name=Json.get
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/json.bend&name=Json.is_null
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/json.bend&name=Json.items
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/json.bend&name=Json.str_or