Str.text.replace: def of ezsys@0.1.0.0
Import: import ezsys@0.1.0.0/src/str.bend as Str
Lines 127-134 of ezsys@0.1.0.0/src/str.bend: https://jend.leeeet.dev/read.txt?path=ezsys@0.1.0.0/src/str.bend&start_line=127&end_line=134

import Base

# every `old` replaced by `new`, left to right, never overlapping; an empty
# `old` puts `new` before every character and at the end
def text.replace(txt: String, +old: String, +new: String) -> String:
  match old:
    case SNil{}:
      new ++ text.replace.gaps(txt, new)
    case SCon{oh, ot}:
      text.replace.go(txt, 0n, SCon{oh, ot}, new)

Uses (4):
  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/str.bend&name=text.replace.gaps
  https://jend.leeeet.dev/definition.txt?path=ezsys@0.1.0.0/src/str.bend&name=text.replace.go