def Proxy.parse.fin
import bend-kube-runtime@0.2.0.0/src/proxy.bend as Proxyimport Base
230def Proxy.parse.fin(+h: String, +p: U32, auth: String, empty: Bool) -> Route:
231 match empty:
232 case True{}:
233 NoRoute{"HTTPS_PROXY names no host"}
234 case False{}:
235 Via{Proxy{h, p, auth}}