BackupOwnerCursorIo.source.clone.values: def of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/src/transfer/BackupOwnerCursorIo.bend as BackupOwnerCursorIo
Lines 27-47 of mylsm-lsm-store@0.6.0.1/src/transfer/BackupOwnerCursorIo.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/src/transfer/BackupOwnerCursorIo.bend&start_line=27&end_line=47

import Base
import mylsm-lsm-store@0.6.0.1/src/coordinator/Client.bend as Client

def source.clone.values(
  sessions: Client.Session & Client.Session,
  snapshot_ids: U32 & U32 & U32,
  cursor_ids: U32 & U32 & U32,
  cursor_live: Bool
) -> OwnerSource & OwnerSource:
  match sessions:
    case (first_session, second_session):
      match snapshot_ids:
        case (first_snapshot, (second_snapshot, _)):
          match cursor_ids:
            case (first_cursor, (second_cursor, _)):
              match cursor_live:
                case True{}:
                  (OwnerSource{first_session, first_snapshot, first_cursor,
                    True{}}, OwnerSource{second_session, second_snapshot,
                    second_cursor, True{}})
                case False{}:
                  (OwnerSource{first_session, first_snapshot, first_cursor,
                    False{}}, OwnerSource{second_session, second_snapshot,
                    second_cursor, False{}})

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  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=mylsm-lsm-store@0.6.0.1/src/coordinator/Client.bend&name=Session
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/transfer/BackupOwnerCursorIo.bend&name=OwnerSource