def client.window.adjust.sign
bend-kit-http2@0.4.0.0 · http2.bend:538
import bend-kit-http2@0.4.0.0/http2.bend as Http2
import Base
538def client.window.adjust.sign(positive: Bool, +w: U32, +delta: U32) -> Maybe<&1, U32>:
539 match positive:
540 case True{}:
541 client.window.add(Bool.or(U32.is_ge(w, 2147483648),
542 U32.is_le(w, (2147483647 - delta : U32))), w, delta)
543 case False{}:
544 client.window.add(Bool.or(U32.is_lt(w, 2147483648),
545 U32.is_ge(w, (2147483648 - delta : U32))), w, delta)