ByteRange.in_range.checked: def of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/src/scan/ByteRange.bend as ByteRange
Lines 61-67 of mylsm-lsm-store@0.6.0.1/src/scan/ByteRange.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/src/scan/ByteRange.bend&start_line=61&end_line=67

import Base

# Combines the lower and upper checks for a half-open range.
def in_range.checked(lower_ok: Bool, upper_ok: Bool) -> Bool:
  match lower_ok:
    case True{}:
      upper_ok
    case False{}:
      False{}

Uses (1):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool