This is documentation for the next version of Alloy. For the latest stable release, go to the latest version.
trim_prefix
trim_prefix
removes the prefix from the start of a string.
If the string doesn’t start with the prefix, the string is returned unchanged.
Examples
> trim_prefix("helloworld", "hello")
"world"