def snapshot.list.cursor.acquire.measured

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

import Base

783def snapshot.list.cursor.acquire.measured(
784  measured: List<&2, SnapshotResource> & Nat,
785  snapshot_id: U32,
786  action: SnapshotCursorAction
787) -> SnapshotListCursorDecision:
788  match measured:
789    case (snapshots, length):
790      snapshot.list.cursor.acquire.loop(
791        Nat.add(Nat.mul(3n, length), 1n),
792        SnapshotCursorSearch{snapshots, snapshot_id, action, Nil{}})