def decide.sized

mylsm-lsm-store@0.6.0.1 · src/scan/ByteBlockBuilder.bend:42

import Base

42# Rejects a record above the block cap before considering current occupancy.
43def decide.sized(
44  used_bytes: Nat,
45  record_bytes: Nat,
46  max_bytes: Nat,
47  record_fits: Bool
48) -> Decision:
49  decide.sized.limits(used_bytes, record_bytes, nat.clone.pair(max_bytes), record_fits)