def next.trailer.ready

mylsm-lsm-store@0.6.0.1 · src/scan/ByteBlockReader.bend:1662

import Base

1662def next.trailer.ready(
1663  file: File,
1664  state: State,
1665  valid: Bool
1666) -> IO(Result<&1, &1, U32 & String, Step>):
1667  match valid:
1668    case False{}:
1669      close.failed(file, corruption("byte SST data count or index offset mismatch"))
1670    case True{}:
1671      next.trailer.read(file, state)