Snapshot.registry.release.count: def of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/src/scan/Snapshot.bend as Snapshot
Lines 406-415 of mylsm-lsm-store@0.6.0.1/src/scan/Snapshot.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/src/scan/Snapshot.bend&start_line=406&end_line=415

import Base

# Duplicates the counters so invalid releases preserve the exact prior registry.
def registry.release.count(
  count_copies: Nat & Nat,
  retained_bytes: Nat,
  released_bytes: Nat
) -> RegistryReleaseDecision:
  match count_copies:
    case (count_input, count_original):
      registry.release.input(((count_input, count_original),
        nat.duplicate(retained_bytes)), released_bytes)

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/scan/Snapshot.bend&name=RegistryReleaseDecision
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/scan/Snapshot.bend&name=nat.duplicate
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/scan/Snapshot.bend&name=registry.release.input