def with_batch_cap

mylsm-lsm-store@0.3.2.0 · src/Db.bend:315

import Base

315def with_batch_cap(+db: Db, +cap: Nat) -> Db:
316  match db:
317    case Db{dir, mem, frozen, batch_cap, bcache, levels, flushed, manifest_token, mem_count, frozen_count}:
318      Db{dir, mem, frozen, cap, bcache, levels, flushed, manifest_token, mem_count, frozen_count}