def decode.len

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

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

78def decode.len(r: Bytes.Bytes & Maybe<&2, U32>, +flags: U32, +n: U32, +max: U32) -> Step:
79  (buf, m) = r
80  match m:
81    case None{}:
82      Bad{"truncated envelope header"}
83    case Some{+len}:
84      decode.size(U32.is_gt(len, max), buf, flags, len, n, max)