~/jendhub

def registry.release.input

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

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

395# Validates positive snapshot ownership and sufficient retained bytes before decrementing.
396def registry.release.input(
397  copies: (Nat & Nat) & (Nat & Nat),
398  released_bytes: Nat
399) -> RegistryReleaseDecision:
400  match copies:
401    case ((count_input, count_original), (bytes_input, bytes_original)):
402      registry.release.input.bytes(nat.duplicate(count_input), count_original,
403        nat.duplicate(bytes_input), bytes_original,
404        nat.duplicate(released_bytes))

Uses (6)

Used by (1)