Text.text.join: def of ezsys@0.1.0.0
Import: import ezsys@0.1.0.0/src/text.bend as Text
Lines 144-147 of ezsys@0.1.0.0/src/text.bend: https://jend.leeeet.dev/read.txt?path=ezsys@0.1.0.0/src/text.bend&start_line=144&end_line=147

import Base

# write a step's text, then scan on in the mode after it
def text.join(pair: String & Mode, rest: Mode -> String) -> String:
  (out, next) = pair
  out ++ rest(next)

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=Base/base.bend&name=String.append
  https://jend.leeeet.dev/definition.txt?path=ezsys@0.1.0.0/src/text.bend&name=Mode