other
(in-package "STR")
other
(include-book "strsubst")
other
(include-book "std/testing/assert-bang" :dir :system)
other
(assert! (equal (strsubst "World" "Star" "Hello, World!") "Hello, Star!"))
other
(assert! (equal (strsubst "oo" "aa" "xoooyoo") "xaaoyaa"))