Http2.client.stream.adjust: def of bend-kit-http2@0.4.0.0
Import: import bend-kit-http2@0.4.0.0/http2.bend as Http2
Lines 560-564 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=560&end_line=564

import Base

def client.stream.adjust(s: Stream, delta: U32) -> Maybe<&1, Stream>:
  Stream{id, send_window, recv_window, local_end, remote_end, head, headers, partial, body, outgoing} = s
  Maybe.map(&1, U32, Stream,
    next => Stream{id, next, recv_window, local_end, remote_end, head, headers, partial, body, outgoing},
    client.window.adjust(send_window, delta))

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe.map
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  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.window.adjust