def registry.release.count
import mylsm-lsm-store@0.6.0.1/src/scan/Snapshot.bend as Snapshotimport 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)