def next.size

bend-kit-websocket@0.4.0.0 · websocket.bend:483

import Base

483# over: the payload is longer than max.
484def next.size(~P: Type, ~S: Type, ~fits: S -> @+hs:U32 -> @+len:U32 -> S & Bool, ~cut: S -> @+hs:U32 -> @+len:U32 -> P & S, ~unmask: @+key:U32 -> P -> P, over: Bool, +fin: Bool, +op: U32, +m: Bool, +key: U32, +hs: U32, +len: U32, b: S) -> Decode<P, S>:
485  match over:
486    case True{}:
487      Bad{1009, "frame over the size limit"}
488    case False{}:
489      next.fits(~P, ~S, ~cut, ~unmask, fin, op, m, key, hs, len, fits(b, hs, len))