MigrateRunIo.path.clone.triple.first: def of mylsm-lsm-store@0.6.0.1 Import: import mylsm-lsm-store@0.6.0.1/src/transfer/MigrateRunIo.bend as MigrateRunIo Lines 38-41 of mylsm-lsm-store@0.6.0.1/src/transfer/MigrateRunIo.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/src/transfer/MigrateRunIo.bend&start_line=38&end_line=41 import Base def path.clone.triple.first(pair: String & String) -> String & String & String: match pair: case (first, suffix): path.clone.triple.second(first, path.clone.pair(suffix)) Uses (5): 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=mylsm-lsm-store@0.6.0.1/src/transfer/MigrateRunIo.bend&name=path.clone.pair https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/transfer/MigrateRunIo.bend&name=path.clone.triple.second