~/jendhub

def cursor.list.remove.measured

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

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

1002def cursor.list.remove.measured(
1003  measured: List<&2, CursorResource> & Nat,
1004  cursor_id: U32
1005) -> CursorListRemoveDecision:
1006  match measured:
1007    case (cursors, length):
1008      cursor.list.remove.loop(Nat.add(Nat.mul(3n, length), 1n),
1009        CursorSearch{cursors, cursor_id, Nil{}})

Uses (11)

Used by (1)