std.replace_prefix
Available inall subroutines.
Replaces the literal string target
in string s
with replacement
if s
begins with that prefix.
This corresponds to std.prefixof(s, target)
returning true
.
If pattern
is the empty string, the original string s
is returned.
Example
std.replace_prefix("0xABCD1234", "0x", "") # returns "ABCD1234"