Client.Config.infer: def of bend-kube-runtime@0.2.0.0
Import: import bend-kube-runtime@0.2.0.0/src/client.bend as Client
Lines 686-689 of bend-kube-runtime@0.2.0.0/src/client.bend: https://jend.leeeet.dev/read.txt?path=bend-kube-runtime@0.2.0.0/src/client.bend&start_line=686&end_line=689

import Base
import bend-kube-runtime@0.2.0.0/src/config.bend as K

# As kube-rs's Config::infer: $KUBECONFIG when set, else the pod's service
# account when in a cluster, else ~/.kube/config.
def Config.infer() -> IO(Result<&2, &2, String, K.Config>):
  IO.bind(Res(String), Result<&2, &2, String, K.Config>, IO.get_env("KUBECONFIG"), Config.infer.kc)

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.bind
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.get_env
  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/client.bend&name=Config.infer.kc
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/client.bend&name=Res
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/config.bend&name=Config