Http2.client.settings.item: def of bend-kit-http2@0.4.0.0
Import: import bend-kit-http2@0.4.0.0/http2.bend as Http2
Lines 593-617 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=593&end_line=617

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

def client.settings.item(id: U32, +value: U32, c: Client) -> Reply:
  match id:
    case 1:
      Client{input, streams, encoder, decoder, control} = c
      client.ok(Client{input, streams, Hpack.set_limit(value, encoder), decoder, control})
    case 2:
      client.fail(1, True{}, 0)
    case 3:
      Client{input, streams, encoder, decoder,
        Control{next, active, frame_max, initial, max_streams, send_window, recv_window,
          first, ack, continuation, goaway}} = c
      client.ok(Client{input, streams, encoder, decoder,
        Control{next, active, frame_max, initial, Some{value}, send_window, recv_window,
          first, ack, continuation, goaway}})
    case 4:
      client.settings.initial(value, c)
    case 5:
      Client{input, streams, encoder, decoder,
        Control{next, active, frame_max, initial, max_streams, send_window, recv_window,
          first, ack, continuation, goaway}} = c
      client.ok(Client{input, streams, encoder, decoder,
        Control{next, active, value, initial, max_streams, send_window, recv_window,
          first, ack, continuation, goaway}})
    case _:
      client.ok(c)

Uses (12):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  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=Word.Con
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Word.Nil
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/hpack.bend&name=set_limit
  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=client.fail
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/http2.bend&name=client.ok
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/http2.bend&name=client.settings.initial