def TunEv.got
import bend-kube-runtime@0.2.0.0/src/net.bend as Netimport Base
import bend-kube-runtime@0.2.0.0/src/proxy.bend as P
72def TunEv.got(p: Socket & Res(List<&2, U32>), st: P.Tunnel) -> TunEv:
73 match p:
74 case (s, r):
75 TGot{s, r, st}