def decode.size

bendonnect-rpc@0.1.0.0 · src/envelope.bend:71

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

71def decode.size(big: Bool, buf: Bytes.Bytes, +flags: U32, +len: U32, +n: U32, +max: U32) -> Step:
72  match big:
73    case True{}:
74      Bad{decode.too_big(len, max)}
75    case False{}:
76      decode.fit(U32.is_lt((n - 5 : U32), len), buf, flags, len, n)