def parse.body.digest.size

mylsm-lsm-store@0.6.0.1 · src/Manifest.bend:490

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

490def parse.body.digest.size(
491  +body_len: U32,
492  hash_source: Bytes.Bytes,
493  size_pair: Bytes.Bytes & U32,
494  levels: List<&2, List<&2, String>>
495) -> Maybe<&2, Manifest>:
496  match size_pair:
497    case (footer_source, +total):
498      parse.body.digest.checked(body_len, hash_source, footer_source, levels, U32.is_eq(total, (body_len + 32 : U32)))