ByteDurableDb.path.clone.pair.go: def of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/src/ByteDurableDb.bend as ByteDurableDb
Lines 715-729 of mylsm-lsm-store@0.6.0.1/src/ByteDurableDb.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/src/ByteDurableDb.bend&start_line=715&end_line=729

import Base

# Rebuilds two identical paths in one traversal.
def path.clone.pair.go(
  path: String,
  copies: String & String
) -> String & String:
  match path:
    case SNil{}:
      match copies:
        case (first, second):
          (path.reverse(first, SNil{}), path.reverse(second, SNil{}))
    case SCon{Chr{+scalar}, rest}:
      match copies:
        case (first, second):
          path.clone.pair.go(rest, path.clone.pair.scalar(first, second,
            duplicate_nat_pair(U32.to_nat(scalar))))

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Char
  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=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.to_nat
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/ByteDurableDb.bend&name=duplicate_nat_pair
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/ByteDurableDb.bend&name=path.clone.pair.scalar
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/ByteDurableDb.bend&name=path.reverse