~/jendhub

def cursor.list.remove

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

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

1011# Removes one owner cursor ID without changing its parent snapshot count.
1012def cursor.list.remove(
1013  cursors: List<&2, CursorResource>,
1014  cursor_id: U32
1015) -> CursorListRemoveDecision:
1016  cursor.list.remove.measured(cursor.list.length.keep(cursors), cursor_id)

Uses (6)

Used by (1)