Snapshot.snapshot.resource.duplicate.parts: 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 541-557 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=541&end_line=557

import Base

def snapshot.resource.duplicate.parts(
  ids: U32 & U32,
  generations: Nat & Nat,
  retained: Nat & Nat,
  cursors: Nat & Nat
) -> SnapshotResource & SnapshotResource:
  match ids:
    case (first_id, second_id):
      match generations:
        case (first_generation, second_generation):
          match retained:
            case (first_bytes, second_bytes):
              match cursors:
                case (first_count, second_count):
                  (SnapshotResource{first_id, first_generation, first_bytes,
                    first_count}, SnapshotResource{second_id, second_generation,
                    second_bytes, second_count})

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  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/scan/Snapshot.bend&name=SnapshotResource