SstCursor.bounds.copy.values: def of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/src/scan/SstCursor.bend as SstCursor
Lines 41-53 of mylsm-lsm-store@0.6.0.1/src/scan/SstCursor.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/src/scan/SstCursor.bend&start_line=41&end_line=53

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

def bounds.copy.values(
  lower: Maybe<&1, Bytes.Bytes> & Maybe<&1, Bytes.Bytes>,
  upper: Maybe<&1, Bytes.Bytes> & Maybe<&1, Bytes.Bytes>,
  prefix: Maybe<&1, Bytes.Bytes> & Maybe<&1, Bytes.Bytes>
) -> Bounds & Bounds:
  match lower:
    case (lower_original, lower_copy):
      match upper:
        case (upper_original, upper_copy):
          match prefix:
            case (prefix_original, prefix_copy):
              (Bounds{lower_original, upper_original, prefix_original},
                Bounds{lower_copy, upper_copy, prefix_copy})

Uses (5):
  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=Sigma
  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/SstCursor.bend&name=Bounds