How to use [strings.trim]
The reference page of strings.trim has its arguments, constraints and declaration.
Trims a string, either both sides, only the start of it, or only the end of it, for occurrences of characters found in the sequence of characters provided as its argument.
strings.trim:09thomas12
.:1234567890
// Results in "thomas"