SstFileV2.level_scan: def of mylsm-lsm-store@0.3.2.0
Import: import mylsm-lsm-store@0.3.2.0/src/SstFileV2.bend as SstFileV2
Lines 132-139 of mylsm-lsm-store@0.3.2.0/src/SstFileV2.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.3.2.0/src/SstFileV2.bend&start_line=132&end_line=139

import Base
import mylsm-lsm-store@0.3.2.0/src/Decimal.bend as Decimal

def level_scan(scan: Decimal.Scan) -> Transition:
  match scan:
    case Decimal.Reading{value, started, leading_zero}:
      Next{ReadLevel{Decimal.Reading{value, started, leading_zero}}}
    case Decimal.Finished{value}:
      LevelRead{value}
    case Decimal.Failed{error}:
      decimal_error(error, InvalidLevel{})

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.3.2.0/src/Decimal.bend&name=Scan
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.3.2.0/src/SstFileV2.bend&name=Error
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.3.2.0/src/SstFileV2.bend&name=Phase
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.3.2.0/src/SstFileV2.bend&name=Transition
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.3.2.0/src/SstFileV2.bend&name=decimal_error