ByteSstIo.path.clone.pair.build: def of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/src/ByteSstIo.bend as ByteSstIo
Lines 36-49 of mylsm-lsm-store@0.6.0.1/src/ByteSstIo.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/src/ByteSstIo.bend&start_line=36&end_line=49

import Base

def path.clone.pair.build(
  path: String,
  copies: String & String
) -> String & String:
  match path:
    case SNil{}:
      match copies:
        case (left, right): (path.clone.reverse(left, SNil{}), path.clone.reverse(right, SNil{}))
    case SCon{Chr{+scalar}, rest}:
      match copies:
        case (left, right):
          path.clone.pair.build(rest,
            path.clone.pair.scalar(left, right,
              nat.clone.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/ByteSstIo.bend&name=nat.clone.pair
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/ByteSstIo.bend&name=path.clone.pair.scalar
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/ByteSstIo.bend&name=path.clone.reverse