def Tunnel.push
import bend-kube-runtime@0.2.0.0/src/proxy.bend as Proxyimport Base
391def Tunnel.push(bs: List<&2, U32>, +h: List<&2, U32>, end: Bool) -> Tunnel:
392 match bs end:
393 case rest True{}:
394 Tunnel.done(h, rest)
395 case Nil{} False{}:
396 TMore{h}
397 case Con{+b, t} False{}:
398 Tunnel.push(t, Con{b, h}, Tunnel.is_end(Con{b, h}))