Cursor.next: def of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/src/scan/Cursor.bend as Cursor
Lines 21-31 of mylsm-lsm-store@0.6.0.1/src/scan/Cursor.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/src/scan/Cursor.bend&start_line=21&end_line=31

import Base

# Returns at most one entry and retains the remaining source suffix.
def next(cursor: Cursor) -> Step:
  match cursor:
    case CursorReady{entries}:
      match entries:
        case Nil{}: CursorEnd{CursorEnded{}}
        case Con{entry, tail}: CursorItem{entry, CursorReady{tail}}
    case CursorEnded{}: CursorEnd{CursorEnded{}}
    case CursorClosed{}: CursorEnd{CursorClosed{}}
    case CursorFailed{code, message}:
      CursorError{CursorFailed{code, message}}

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/scan/Cursor.bend&name=Cursor
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/scan/Cursor.bend&name=Step