def delta.head.checked

mylsm-lsm-store@0.6.0.1 · src/scan/VisibleCursor.bend:128

import Base
import mylsm-lsm-store@0.6.0.1/src/ByteMemTable.bend as ByteMemTable
import mylsm-lsm-store@0.6.0.1/src/scan/ByteRange.bend as ByteRange
import bend-kit-bytes@0.3.2.0/bytes.bend as Bytes

128def delta.head.checked(
129  entry: ByteMemTable.Entry,
130  tail: List<&1, ByteMemTable.Entry>,
131  key: Bytes.Bytes,
132  upper: Maybe<&1, Bytes.Bytes>
133) -> DeltaHead:
134  delta.head.result(ByteRange.at_or_after_upper(key, upper), entry, tail)