Ezsys.text.replace: def of ezsys@0.1.0.0
Import: import ezsys@0.1.0.0/main.bend as Ezsys
Lines 93-96 of ezsys@0.1.0.0/main.bend: https://jend.leeeet.dev/read.txt?path=ezsys@0.1.0.0/main.bend&start_line=93&end_line=96

import Base
import ezsys@0.1.0.0/src/str.bend as Str

# every `old` replaced by `new`, left to right, never overlapping
# (str.replace); an empty `old` puts `new` around every character
def text.replace(txt: String, old: String, new: String) -> String:
  Str.text.replace(txt, old, new)

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=ezsys@0.1.0.0/src/str.bend&name=text.replace