def check.len

bend-kit-archive@0.5.1.0 · archive.bend:298

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

298def check.len(r: Bytes.Bytes & U32, +size: U32, +crc: U32) -> Result<&1, &1, U32 & String, Bytes.Bytes>:
299  (b, +n) = r
300  check.len.of(U32.is_eq(n, size), b, crc)