def snapshot.list.cursor.close.resource

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

import Base

697def snapshot.list.cursor.close.resource(
698  copies: SnapshotResource & SnapshotResource,
699  prefix: List<&2, SnapshotResource>,
700  tail: List<&2, SnapshotResource>
701) -> SnapshotListCursorDecision:
702  match copies:
703    case (for_check, for_update):
704      match for_check:
705        case SnapshotResource{_, _, _, cursor_count}:
706          snapshot.list.cursor.close.result(Nat.is_eq(cursor_count, 0n),
707            prefix, for_update, tail)