Proxy.Tunnel.feed: def of bend-kube-runtime@0.2.0.0
Import: import bend-kube-runtime@0.2.0.0/src/proxy.bend as Proxy
Lines 421-427 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=421&end_line=427

import Base

# The tunnel after the next bytes of the answer; no bytes is the end.
def Tunnel.feed(t: Tunnel, +bs: List<&2, U32>) -> Tunnel:
  match t:
    case TMore{+h}:
      Tunnel.more(h, bs, List.is_empty(&2, U32, bs))
    case x:
      x

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.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=Tunnel
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/proxy.bend&name=Tunnel.more