Proxy.Proxy.connect: def of bend-kube-runtime@0.2.0.0
Import: import bend-kube-runtime@0.2.0.0/src/proxy.bend as Proxy
Lines 329-333 of bend-kube-runtime@0.2.0.0/src/proxy.bend: https://jend.leeeet.dev/read.txt?path=bend-kube-runtime@0.2.0.0/src/proxy.bend&start_line=329&end_line=333

import Base

# The request that opens a tunnel to host:port.
def Proxy.connect(+host: String, +port: U32, +auth: String) -> String:
  +t = Proxy.target(host, port)
  "CONNECT " ++ t ++ " HTTP/1.1\r\nHost: " ++ t ++ "\r\n"
    ++ Proxy.auth_line.go(auth, String.is_empty(auth)) ++ "\r\n"

Uses (6):
  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=Base/base.bend&name=String.is_empty
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/proxy.bend&name=Proxy.auth_line.go
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/proxy.bend&name=Proxy.target