def parse.size

bend-kit-http2@0.4.0.0 · http2.bend:287

import Base
import bend-kit-bytes@0.3.3.0/bytes.bend as Bytes

287def parse.size(oversized: Bool, max: U32, +len: U32, +kind: U32, +flags: U32, +stream: U32, b: Bytes.Bytes) -> Decode:
288  match oversized:
289    case True{}:
290      Bad{size.error(kind, stream)}
291    case False{}:
292      Bytes.Bytes{+n, buf} = b
293      parse.full(U32.is_le(len, (n - 9 : U32)), max, len, kind, flags, stream, Bytes.Bytes{n, buf})