SstFileV2.value_step: def of mylsm-lsm-store@0.3.2.0
Import: import mylsm-lsm-store@0.3.2.0/src/SstFileV2.bend as SstFileV2
Lines 232-241 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=232&end_line=241

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

def value_step(key: String, remaining: Nat, reversed: String, ch: Char) -> Transition:
  match remaining:
    case 0n:
      TransitionRejected{TruncatedEntry{}}
    case 1n+rest:
      match rest:
        case 0n:
          EntryRead{MemTable.Entry{key, Some{String.reverse(SCon{ch, reversed})}}}
        case 1n+more:
          Next{ReadValue{key, 1n+more, SCon{ch, reversed}}}

Uses (9):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Char
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.reverse
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.3.2.0/src/MemTable.bend&name=Entry
  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