OptionsCodec.string.clone.triple.first: def of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/src/coordinator/OptionsCodec.bend as OptionsCodec
Lines 239-243 of mylsm-lsm-store@0.6.0.1/src/coordinator/OptionsCodec.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/src/coordinator/OptionsCodec.bend&start_line=239&end_line=243

import Base

def string.clone.triple.first(copies: String & String) -> String & (String & String):
  match copies:
    case (length_input, parse_input):
      string.clone.triple.second(length_input,
        string.clone.pair(parse_input))

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/coordinator/OptionsCodec.bend&name=string.clone.pair
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/coordinator/OptionsCodec.bend&name=string.clone.triple.second