h&N!       Safe-Inferred^ text-replace A variant of 3 which may contain a value at the root of the tree  text-replaceA representation of a  designed for efficient lookups when we perform the replacements in You may construct a  using  or .  text-replaceA map where the keys are strings we're looking for and the values are strings with which we're replacing a key that we find You may use  to construct a 3 from a list of replacement rules, and you may use  to convert back to a list.  text-replaceA replacement ruleReplace "abc" "xyz"& means "When you encounter the string abc$ in the input text, replace it with xyz."The first argument must be a non-empty string, because there is no sensible way to interpret "replace all occurrences of the empty string."  text-replaceA string we're looking for  text-replace A string we're replacing it with  text-replaceNon-empty text  text-replace)The first character of a non-empty string  text-replace5All characters of a non-empty string except the first text-replace-Apply a list of replacement rules to a stringThe search for strings to replace is performed left-to-right, preferring longer matches to shorter ones.,Internally, the list will be converted to a  using . If the list contains more than one replacement for the same search string, the last mapping is used, and earlier mappings are ignored.If you are going to be applying the same list of rules to multiple input strings, you should first convert the list to a  using  and then use  instead.  text-replace,Apply a map of replacement rules to a stringThe search for strings to replace is performed left-to-right, preferring longer matches to shorter ones.If you are going to be applying the same list of rules to multiple input strings, you should first convert the ! to a  using  and then use  instead.  text-replace-Apply a trie of replacement rules to a stringThe search for strings to replace is performed left-to-right, preferring longer matches to shorter ones.To construct a , you may use  or .  text-replaceConvert an ordinary " to a non-empty    Warning: text'fromString "" = E  text-replaceConvert an ordinary # to a non-empty    Warning: text'fromText "" = E  text-replace