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

import Base

def path.clone.pair.go(
  path: String,
  left: String,
  right: String
) -> String & String:
  match path:
    case SNil{}:
      (String.reverse(left), String.reverse(right))
    case SCon{+character, rest}:
      path.clone.pair.go(rest, SCon{character, left}, SCon{character, right})

Uses (4):
  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=String.reverse