OwnerGenerationIo.path.triple.go: def of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/src/coordinator/OwnerGenerationIo.bend as OwnerGenerationIo
Lines 26-37 of mylsm-lsm-store@0.6.0.1/src/coordinator/OwnerGenerationIo.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/src/coordinator/OwnerGenerationIo.bend&start_line=26&end_line=37

import Base

def path.triple.go(
  path: String,
  first: String,
  second: String,
  third: String
) -> String & String & String:
  match path:
    case SNil{}:
      (String.reverse(first), (String.reverse(second), String.reverse(third)))
    case SCon{+character, rest}:
      path.triple.go(rest, SCon{character, first}, SCon{character, second},
        SCon{character, third})

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