Snapshot.registry.reserve.input: 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 322-333 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=322&end_line=333

import Base

# Applies a reservation decision while keeping a copy of the prior counters.
def registry.reserve.input(
  copies: (Nat & Nat) & (Nat & Nat),
  requested_bytes: Nat,
  max_snapshots: Nat,
  max_retained_bytes: Nat
) -> RegistryDecision:
  match copies:
    case ((count_input, count_original), (bytes_input, bytes_original)):
      registry.reserve.result(Registry{count_original, bytes_original},
      reserve(count_input, bytes_input, requested_bytes,
          max_snapshots, max_retained_bytes))

Uses (7):
  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=Registry
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/scan/Snapshot.bend&name=RegistryDecision
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/scan/Snapshot.bend&name=registry.reserve.result
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/scan/Snapshot.bend&name=reserve