Http2.client.headers.finish: def of bend-kit-http2@0.4.0.0
Import: import bend-kit-http2@0.4.0.0/http2.bend as Http2
Lines 997-1020 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=997&end_line=1020

import Base
import bend-kit-bytes@0.3.3.0/bytes.bend as Bytes
import bend-kit-http2@0.4.0.0/hpack.bend as Hpack

def client.headers.finish(end_headers: Bool, s: Stream, tail: List<&1, Stream>,
    input: Bytes.Bytes, encoder: Hpack.State, decoder: Hpack.State, control: Control) -> Reply:
  match end_headers:
    case False{}:
      Stream{+id, send_window, recv_window, local_end, remote_end, head,
        headers, partial, body, outgoing} = s
      Control{next, active, frame_max, initial, max_streams, connection, recv,
        first, ack, continuation, goaway} = control
      client.ok(Client{input,
        Con{Stream{id, send_window, recv_window, local_end, remote_end,
          head, headers, partial, body, outgoing}, tail},
        encoder, decoder,
        Control{next, active, frame_max, initial, max_streams, connection, recv,
          first, ack, Some{id}, goaway}})
    case True{}:
      Stream{id, send_window, recv_window, local_end, remote_end, head,
        headers, partial, body, outgoing} = s
      Control{next, active, frame_max, initial, max_streams, connection, recv,
        first, ack, continuation, goaway} = control
      client.headers.decoded(Hpack.decode(partial, decoder),
        Stream{id, send_window, recv_window, local_end, remote_end, head,
          headers, Bytes.new(0), body, outgoing}, tail, input, encoder,
        Control{next, active, frame_max, initial, max_streams, connection, recv,
          first, ack, None{}, goaway})

Uses (13):
  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=bend-kit-bytes@0.3.3.0/bytes.bend&name=Bytes
  https://jend.leeeet.dev/definition.txt?path=bend-kit-bytes@0.3.3.0/bytes.bend&name=new
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/hpack.bend&name=State
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/hpack.bend&name=decode
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/http2.bend&name=Client
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/http2.bend&name=Control
  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.headers.decoded
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/http2.bend&name=client.ok