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

import Base

# Resolve step for the sorted-run operations.
def resolve_step(
  done: Bool,
  hit: Bool,
  val: Maybe<&2, String>,
  ans: Maybe<&2, Maybe<&2, String>>
) -> Bool & Maybe<&2, Maybe<&2, String>>:
  match done:
    case True{}:
      (True{}, ans)
    case False{}:
      match hit:
        case True{}:
          (True{}, Some{val})
        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