Backup.next.block.ready.split: def of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/src/transfer/Backup.bend as Backup
Lines 338-350 of mylsm-lsm-store@0.6.0.1/src/transfer/Backup.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/src/transfer/Backup.bend&start_line=338&end_line=350

import Base

def next.block.ready.split(
  +entry_count: U32,
  +block_count: U32,
  +block_index: U32,
  split: BatchSplit
) -> Result<&1, &1, Error, Step>:
  match split:
    case BatchSplit{Nil{}, entries, _}:
      next.block.footer(footer.bytes(Stream{Footer{}, entries, entry_count,
        block_count, block_index}))
    case BatchSplit{batch, tail, +count}:
      next.block.ready.index(entry_count, block_count,
        u32.duplicate.pair(block_index), batch, tail, count)

Uses (12):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/transfer/Backup.bend&name=BatchSplit
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/transfer/Backup.bend&name=Error
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/transfer/Backup.bend&name=Phase
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/transfer/Backup.bend&name=Step
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/transfer/Backup.bend&name=Stream
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/transfer/Backup.bend&name=footer.bytes
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/transfer/Backup.bend&name=next.block.footer
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/transfer/Backup.bend&name=next.block.ready.index
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/transfer/Backup.bend&name=u32.duplicate.pair