Http2.client.streams.go: def of bend-kit-http2@0.4.0.0
Import: import bend-kit-http2@0.4.0.0/http2.bend as Http2
Lines 670-697 of bend-kit-http2@0.4.0.0/http2.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-http2@0.4.0.0/http2.bend&start_line=670&end_line=697

import Base

def client.streams.go(xs: List<&1, Stream>, found: Bool, previous: Maybe<&1, Stream>,
    +target: U32, k: Stream -> List<&1, Stream> -> Reply) -> Reply:
  match xs:
    case Nil{}:
      match found:
        case False{}:
          client.fail(5, False{}, target)
        case True{}:
          match previous:
            case None{}:
              client.fail(1, True{}, 0)
            case Some{s}:
              k(s, Nil{})
    case Con{s, rest}:
      Stream{+id, send_window, recv_window, local_end, remote_end, head, headers, partial, body, outgoing} = s
      match found:
        case True{}:
          match previous:
            case None{}:
              client.fail(1, True{}, 0)
            case Some{matched}:
              k(matched, Con{Stream{id, send_window, recv_window, local_end, remote_end,
                head, headers, partial, body, outgoing}, rest})
        case False{}:
          client.streams.prefix(previous,
            client.streams.go(rest, U32.is_eq(id, target),
              Some{Stream{id, send_window, recv_window, local_end, remote_end, head, headers, partial, body, outgoing}},
              target, k))

Uses (9):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_eq
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/http2.bend&name=Reply
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/http2.bend&name=Stream
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/http2.bend&name=client.fail
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/http2.bend&name=client.streams.prefix