def decode.header.ready.count

mylsm-lsm-store@0.6.0.1 · src/transfer/Restore.bend:908

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

908def decode.header.ready.count(
909  input: Bytes.Bytes,
910  header_input: Bytes.Bytes,
911  entry_count: U32,
912  counts: Nat & Nat
913) -> Result<&1, &1, Error, Decoded>:
914  match counts:
915    case (for_check, for_header):
916      decode.header.route(input,
917        Header{header_input, entry_count, U32.from_nat(for_header)},
918        U32.is_eq(U32.from_nat(for_check), 0))