SortedRun.range_disjoint_bounds: def of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/src/SortedRun.bend as SortedRun
Lines 165-182 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=165&end_line=182

import Base
import mylsm-lsm-store@0.6.0.1/src/Keys.bend as Keys

# Handle range disjoint bounds in the sorted-run operations.
def range_disjoint_bounds(
  af: Maybe<&2, String>,
  al: Maybe<&2, String>,
  bf: Maybe<&2, String>,
  bl: Maybe<&2, String>
) -> Bool:
  match af al bf bl:
    case None{} _ _ _:
      True{}
    case _ None{} _ _:
      True{}
    case _ _ None{} _:
      True{}
    case _ _ _ None{}:
      True{}
    case Some{a_first} Some{a_last} Some{b_first} Some{b_last}:
      bool_or(Keys.lt(a_last, b_first), Keys.lt(b_last, a_first))

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=String
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/Keys.bend&name=lt
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/SortedRun.bend&name=bool_or