ByteDurableDb.path.clone.pair.scalar: def of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/src/ByteDurableDb.bend as ByteDurableDb
Lines 704-713 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=704&end_line=713

import Base

# Prepends one scalar to each independently rebuilt path.
def path.clone.pair.scalar(
  first: String,
  second: String,
  pair: Nat & Nat
) -> String & String:
  match pair:
    case (left, right):
      (SCon{Chr{U32.from_nat(left)}, first},
        SCon{Chr{U32.from_nat(right)}, second})

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Char
  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=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.from_nat