VisibleCursor.seek: def of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/src/scan/VisibleCursor.bend as VisibleCursor
Lines 110-117 of mylsm-lsm-store@0.6.0.1/src/scan/VisibleCursor.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/src/scan/VisibleCursor.bend&start_line=110&end_line=117

import Base
import bend-kit-bytes@0.3.2.0/bytes.bend as Bytes

# Advances every retained source to the same inclusive lower key.
def seek(cursor: Cursor, lower: Maybe<&1, Bytes.Bytes>) -> Cursor:
  match cursor:
    case Active{base, _, delta, bounds, _}:
      seek.ready(base, delta, bounds, lower.triple(lower))
    case Ended{}: Ended{}
    case Closed{}: Closed{}
    case Failed{error}: Failed{error}

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=bend-kit-bytes@0.3.3.0/bytes.bend&name=Bytes
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/scan/VisibleCursor.bend&name=Cursor
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/scan/VisibleCursor.bend&name=lower.triple
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/scan/VisibleCursor.bend&name=seek.ready