def registry.release.result

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

import Base

361# Keeps the original counters when release preconditions do not hold.
362def registry.release.result(
363  counters: Nat & Nat,
364  original: Registry,
365  admitted: Bool & Bool
366) -> RegistryReleaseDecision:
367  match counters:
368    case (snapshot_count, retained_bytes):
369      match admitted:
370        case (True{}, True{}):
371          Released{Registry{snapshot_count, retained_bytes}}
372        case _: InvalidRelease{original}