def entries.strict.tail

mylsm-lsm-store@0.6.0.1 · src/SstFile.bend:193

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

193def entries.strict.tail(
194  tail: List<&2, MemTable.Entry>,
195  current: String,
196  ordered: Bool
197) -> Bool:
198  match tail ordered:
199    case Nil{} True{}:
200      True{}
201    case Nil{} False{}:
202      False{}
203    case Con{_entry, _rest} False{}:
204      False{}
205    case Con{MemTable.Entry{+key, val}, rest} True{}:
206      entries.strict.tail(rest, key, Keys.lt(current, key))