def in_range.checked

mylsm-lsm-store@0.6.0.1 · src/scan/ByteRange.bend:61

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

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

Uses (1)

Used by (1)