MemTable.scan_step: def of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/src/MemTable.bend as MemTable
Lines 64-76 of mylsm-lsm-store@0.6.0.1/src/MemTable.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/src/MemTable.bend&start_line=64&end_line=76

import Base

# Scan state machine (Base List.merge pattern): the driver matches fuel +
# structural state only; the leaf folds one entry (done-flag freezes the
# answer — including tombstone None, which hides older versions).
def scan_step(done: Bool, eq: Bool, hv: Maybe<&2, String>, ans: Maybe<&2, String>) -> (Bool & Maybe<&2, String>):
  match done:
    case True{}:
      (True{}, ans)
    case False{}:
      match eq:
        case True{}:
          (True{}, hv)
        case False{}:
          (False{}, ans)

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String