def delta.head.copied

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

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/RangeCursor.bend as RangeCursor
import bend-kit-bytes@0.3.2.0/bytes.bend as Bytes

136def delta.head.copied(
137  entries: ByteMemTable.Entry & Bytes.Bytes,
138  tail: List<&1, ByteMemTable.Entry>,
139  bounds: RangeCursor.Bounds
140) -> DeltaHead:
141  match entries:
142    case (entry, key):
143      match bounds:
144        case RangeCursor.Bounds{_, upper, _}:
145          delta.head.checked(entry, tail, key, upper)