def check.len.of

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

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

291def check.len.of(ok: Bool, b: Bytes.Bytes, +crc: U32) -> Result<&1, &1, U32 & String, Bytes.Bytes>:
292  match ok:
293    case False{}:
294      Fail{(22, "entry size differs from the central directory")}
295    case True{}:
296      check.crc(crc.bytes(b), crc)