OptionsCodec.string.clone.triple: 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 245-246 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=245&end_line=246

import Base

def string.clone.triple(value: String) -> String & (String & String):
  string.clone.triple.first(string.clone.pair(value))

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=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.first