Backup.next: 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 373-383 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=373&end_line=383

import Base

# Advances an export by one header, block, footer, or terminal state.
def next(stream: Stream) -> Result<&1, &1, Error, Step>:
  match stream:
    case Stream{Header{}, _, _, _, _}:
      next.header.result(header.bytes(stream))
    case Stream{Blocks{}, _, _, _, _}:
      next.block(stream)
    case Stream{Footer{}, _, _, _, _}:
      next.footer.result(footer.bytes(stream))
    case Stream{Finished{}, _, _, _, _}:
      Done{End{}}

Uses (10):
  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/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=header.bytes
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/transfer/Backup.bend&name=next.block
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/transfer/Backup.bend&name=next.footer.result
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/transfer/Backup.bend&name=next.header.result