~/jendhub

def entries.strict

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

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

208def entries.strict(entries: List<&2, MemTable.Entry>) -> Bool:
209  match entries:
210    case Nil{}:
211      True{}
212    case Con{MemTable.Entry{key, val}, rest}:
213      entries.strict.tail(rest, key, True{})

Uses (4)

Used by (1)