Mylsm.Bytes.scan_seek.ids: def of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/mylsm.bend as Mylsm
Lines 1729-1740 of mylsm-lsm-store@0.6.0.1/mylsm.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/mylsm.bend&start_line=1729&end_line=1740

import Base
import bend-kit-bytes@0.3.2.0/bytes.bend as PackedBytes
import mylsm-lsm-store@0.6.0.1/src/coordinator/Client.bend as OwnerClient
import mylsm-lsm-store@0.6.0.1/src/coordinator/ByteClient.bend as OwnerByteClient

def Bytes.scan_seek.ids(
  session: OwnerClient.Session,
  snapshot_id: U32,
  ids: U32 & U32,
  lower: Maybe<&1, PackedBytes.Bytes>
) -> IO(Bytes.Cursor & Result<&1, &1, Bytes.Error, Unit>):
  match ids:
    case (request_id, cursor_id):
      do IO<Bytes.Cursor & Result<&1, &1, Bytes.Error, Unit>>:
        pair : OwnerClient.Session & Result<&1, &1, OwnerClient.Error, Unit> <-
          OwnerByteClient.snapshot.cursor.seek(session, request_id, lower)
        return Bytes.scan_seek.remote(snapshot_id, cursor_id, pair)

Uses (16):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.bind
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.pure
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Unit
  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/mylsm.bend&name=Bytes.Cursor
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/mylsm.bend&name=Bytes.Error
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/mylsm.bend&name=Bytes.scan_seek.remote
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/coordinator/ByteClient.bend&name=snapshot.cursor.seek
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/coordinator/Client.bend&name=Error
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/coordinator/Client.bend&name=Session