~/jendhub

def reserve.result.checked

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

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

297# Unpacks the reservation calculation into its public decision.
298def reserve.result.checked(pair: Nat & (Nat & (Bool & Bool))) -> Decision:
299  match pair:
300    case (count, (retained_bytes, admitted)):
301      reserve.result(count, retained_bytes, admitted)

Uses (6)

Used by (1)