def registry.release.count

mylsm-lsm-store@0.6.0.1 · src/scan/Snapshot.bend:406

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

406# Duplicates the counters so invalid releases preserve the exact prior registry.
407def registry.release.count(
408  count_copies: Nat & Nat,
409  retained_bytes: Nat,
410  released_bytes: Nat
411) -> RegistryReleaseDecision:
412  match count_copies:
413    case (count_input, count_original):
414      registry.release.input(((count_input, count_original),
415        nat.duplicate(retained_bytes)), released_bytes)

Uses (6)

Used by (1)