Db.all_level_entries: def of mylsm-lsm-store@0.3.2.0
Import: import mylsm-lsm-store@0.3.2.0/src/Db.bend as Db
Lines 85-90 of mylsm-lsm-store@0.3.2.0/src/Db.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.3.2.0/src/Db.bend&start_line=85&end_line=90

import Base
import mylsm-lsm-store@0.3.2.0/src/MemTable.bend as MemTable
import mylsm-lsm-store@0.3.2.0/src/Sstable.bend as Sstable

def all_level_entries(+lvls: List<&2, List<&2, Sstable.Table>>) -> List<&2, MemTable.Entry>:
  match lvls:
    case Nil{}:
      Nil{}
    case Con{+h, t}:
      List.append(&2, MemTable.Entry, level_entries(h), all_level_entries(t))

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.append
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.3.2.0/src/Db.bend&name=level_entries
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.3.2.0/src/MemTable.bend&name=Entry
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.3.2.0/src/Sstable.bend&name=Table