BackupCursorPolicy.append.capacity: def of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/src/transfer/BackupCursorPolicy.bend as BackupCursorPolicy
Lines 32-40 of mylsm-lsm-store@0.6.0.1/src/transfer/BackupCursorPolicy.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/src/transfer/BackupCursorPolicy.bend&start_line=32&end_line=40

import Base

# Selects buffering, a full block, or rejection after the count check.
def append.capacity(seen: Nat, pending: Nat) -> AppendDecision:
  match pending:
    case 0n: CursorBuffer{Nat.add(seen, 1n), 1n}
    case 1n+rest:
      match rest:
        case 14n: CursorBlockReady{Nat.add(seen, 1n), 16n}
        case 15n+more: CursorRejected{}
        case _: CursorBuffer{Nat.add(seen, 1n), Nat.add(pending, 1n)}

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.add
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/transfer/BackupCursorPolicy.bend&name=AppendDecision