def text.replace

ezsys@0.1.0.0 · main.bend:93

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

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