~/jendhub

def within_batch_count

mylsm-lsm-store@0.6.0.1 · src/DurableBatchPolicy.bend:115

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

115# Checks whether a batch count is within the allowed range.
116def within_batch_count(count: Nat) -> Bool:
117  Nat.is_le(count, max_batch_count())

Uses (4)

Used by (1)