Snapshot.cursor.list.remove.exhausted: def of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/src/scan/Snapshot.bend as Snapshot
Lines 954-966 of mylsm-lsm-store@0.6.0.1/src/scan/Snapshot.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/src/scan/Snapshot.bend&start_line=954&end_line=966

import Base

def cursor.list.remove.exhausted(
  state: CursorListRemoveState
) -> CursorListRemoveDecision:
  match state:
    case CursorSearch{cursors, _, prefix}:
      CursorListMissing{cursor.list.restore(prefix, cursors)}
    case CursorCompareCopies{copies, tail, _, prefix}:
      match copies:
        case (_, resource):
          CursorListMissing{cursor.list.restore(prefix,
            Con{resource, tail})}
    case CursorCompare{_, resource, tail, _, prefix}:
      CursorListMissing{cursor.list.restore(prefix, Con{resource, tail})}

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/scan/Snapshot.bend&name=CursorListRemoveDecision
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/scan/Snapshot.bend&name=CursorListRemoveState
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/scan/Snapshot.bend&name=cursor.list.restore