Client.Exec.token.got: def of bend-kube-runtime@0.2.0.0
Import: import bend-kube-runtime@0.2.0.0/src/client.bend as Client
Lines 112-117 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=112&end_line=117

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

def Exec.token.got(+cmd: String, t: J.Json) -> Res(String):
  match t:
    case J.JStr{tok}:
      Done{tok}
    case _:
      Fail{(5, cmd ++ ": the ExecCredential has no status.token")}

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.append
  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/json.bend&name=Json