def max_single_batch_bytes
import mylsm-lsm-store@0.6.0.1/src/DurableBatchPolicy.bend as DurableBatchPolicyimport Base
import mylsm-lsm-store@0.6.0.1/src/StorageBytes.bend as StorageBytes
34# Retains the codec's one-record exception to the normal frame limit.
35def max_single_batch_bytes() -> Nat:
36 Nat.add(U32.to_nat(StorageBytes.MAX_RECORD_BYTES()), 36n)