ByteSstFile.parse.multi.go: def of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/src/ByteSstFile.bend as ByteSstFile
Lines 1831-1849 of mylsm-lsm-store@0.6.0.1/src/ByteSstFile.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/src/ByteSstFile.bend&start_line=1831&end_line=1849

import Base
import mylsm-lsm-store@0.6.0.1/src/ByteMemTable.bend as ByteMemTable
import bend-kit-bytes@0.3.2.0/bytes.bend as Bytes

def parse.multi.go(
  fuel: Nat,
  source: Bytes.Bytes,
  pending: Result<&1, &1, Error, MultiRead>
) -> Result<&1, &1, Error, ByteMemTable.Table>:
  match fuel:
    case 0n:
      match pending:
        case Fail{error}: Fail{error}
        case Done{state}:
          match state:
            case MultiRead{_, _, _, _, level, total, decoded, table}:
              parse.multi.complete(source, table, level,
                Nat.is_eq(total, decoded))
    case 1n+rest:
      match pending:
        case Fail{error}: Fail{error}
        case Done{state}:
          parse.multi.go(rest, source, parse.multi.step(state))

Uses (9):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.is_eq
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result
  https://jend.leeeet.dev/definition.txt?path=bend-kit-bytes@0.3.3.0/bytes.bend&name=Bytes
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/ByteMemTable.bend&name=Table
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/ByteSstFile.bend&name=Error
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/ByteSstFile.bend&name=MultiRead
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/ByteSstFile.bend&name=parse.multi.complete
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/ByteSstFile.bend&name=parse.multi.step