def check

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

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

302def check(+size: U32, +crc: U32, r: Result<&1, &1, U32 & String, Bytes.Bytes>) -> Result<&1, &1, U32 & String, Bytes.Bytes>:
303  match r:
304    case Fail{e}:
305      Fail{e}
306    case Done{b}:
307      check.len(Bytes.length(b), size, crc)