SstStreamIo.read.header.parsed: def of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/src/SstStreamIo.bend as SstStreamIo
Lines 128-137 of mylsm-lsm-store@0.6.0.1/src/SstStreamIo.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/src/SstStreamIo.bend&start_line=128&end_line=137

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

def read.header.parsed(
  file: File,
  +size: Nat,
  result: Result<&1, &1, SstFile.Error, SstFile.StreamState>
) -> StreamReadState:
  match result:
    case Fail{error}:
      ReadClose{file, Fail{codec_error(error)}}
    case Done{parser}:
      ReadBlocks{file, size, 20n, parser}

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=File
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  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/SstFile.bend&name=Error
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/SstFile.bend&name=StreamState
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/SstStreamIo.bend&name=StreamReadState
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/SstStreamIo.bend&name=codec_error