def batch_cap_of

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

import mylsm-lsm-store@0.3.2.0/src/Db.bend as Db

import Base

310def batch_cap_of(+db: Db) -> Nat:
311  match db:
312    case Db{dir, mem, frozen, batch_cap, bcache, levels, flushed, manifest_token, mem_count, frozen_count}:
313      batch_cap

Uses (2)

Nat
mylsm-lsm-store@0.3.2.0/src/Db:Db

Used by (0)

No other definition uses this definition.