MemTable.scan_hit_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 98-114 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=98&end_line=114

import Base

# Hit-detecting scan: outer None = miss (keep searching older sources),
# Some{val} = hit (val may be the None{} tombstone — stop, it shadows).
def scan_hit_step(
  done: Bool,
  eq: Bool,
  hv: Maybe<&2, String>,
  ans: Maybe<&2, Maybe<&2, String>>
) -> (Bool & Maybe<&2, Maybe<&2, String>>):
  match done:
    case True{}:
      (True{}, ans)
    case False{}:
      match eq:
        case True{}:
          (True{}, Some{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