SstFile.entries.strict.tail: def of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/src/SstFile.bend as SstFile
Lines 193-206 of mylsm-lsm-store@0.6.0.1/src/SstFile.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/src/SstFile.bend&start_line=193&end_line=206

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

def entries.strict.tail(
  tail: List<&2, MemTable.Entry>,
  current: String,
  ordered: Bool
) -> Bool:
  match tail ordered:
    case Nil{} True{}:
      True{}
    case Nil{} False{}:
      False{}
    case Con{_entry, _rest} False{}:
      False{}
    case Con{MemTable.Entry{+key, val}, rest} True{}:
      entries.strict.tail(rest, key, Keys.lt(current, key))

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/Keys.bend&name=lt
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/MemTable.bend&name=Entry