def owner.snapshot.open.created

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

import Base

438def owner.snapshot.open.created(
439  ids: U32 & U32,
440  allocator: ResourceIdAllocator,
441  reservations: Registry,
442  snapshots: List<&2, SnapshotResource>,
443  cursors: List<&2, CursorResource>,
444  generation: Nat,
445  retained_bytes: Nat
446) -> OwnerOpenDecision:
447  match ids:
448    case (snapshot_id, entry_id):
449      OwnerSnapshotOpened{OwnerRegistry{allocator, reservations,
450        Con{SnapshotResource{entry_id, generation, retained_bytes, 0n}, snapshots},
451        cursors},
452        snapshot_id}