def hash_idxs_seq
import mylsm-lsm-store@0.3.2.0/src/Sstable.bend as Sstableimport Base
import mylsm-lsm-store@0.3.2.0/src/MemTable.bend as MemTable
302# Sequential index collection over entries.
303def hash_idxs_seq(+entries: List<&2, MemTable.Entry>, +size: Nat) -> List<&2, Nat>:
304 match entries:
305 case Nil{}:
306 Nil{}
307 case Con{MemTable.Entry{key, val}, t}:
308 List.append(&2, Nat, key_idxs(key, size), hash_idxs_seq(t, size))