ScanMerge.choose: def of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/src/scan/ScanMerge.bend as ScanMerge
Lines 40-55 of mylsm-lsm-store@0.6.0.1/src/scan/ScanMerge.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/src/scan/ScanMerge.bend&start_line=40&end_line=55

import Base

# Selects the next merge transition for sorted SST and delta heads.
def choose(
  base_exists: Bool,
  delta_exists: Bool,
  delta_live: Bool,
  order: Cmp
) -> Decision:
  match base_exists:
    case True{}:
      match delta_exists:
        case True{}: both(delta_live, order)
        case False{}: base.without.delta()
    case False{}:
      match delta_exists:
        case True{}: delta.without.base(delta_live)
        case False{}: Finished{}

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Cmp
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/scan/ScanMerge.bend&name=Decision
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/scan/ScanMerge.bend&name=base.without.delta
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/scan/ScanMerge.bend&name=both
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/scan/ScanMerge.bend&name=delta.without.base