Restore.restore.block.frame.entries: def of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/src/transfer/Restore.bend as Restore
Lines 651-662 of mylsm-lsm-store@0.6.0.1/src/transfer/Restore.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/src/transfer/Restore.bend&start_line=651&end_line=662

import Base
import mylsm-lsm-store@0.6.0.1/src/ByteMemTable.bend as ByteMemTable

def restore.block.frame.entries(
  header: BlockHeader,
  result: Result<&1, &1, Error, EntryBatch>
) -> Result<&1, &1, Error, BlockHeader & List<&1, ByteMemTable.Entry>>:
  match header:
    case BlockHeader{input, offset, index, record_count, frame_length,
        block_length}:
      match result:
        case Fail{error}: Fail{error}
        case Done{batch}:
          restore.block.batch.measure(input, offset, index, record_count,
            frame_length, block_length, batch)

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/ByteMemTable.bend&name=Entry
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/transfer/Restore.bend&name=BlockHeader
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/transfer/Restore.bend&name=EntryBatch
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/transfer/Restore.bend&name=Error
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/transfer/Restore.bend&name=restore.block.batch.measure