A non-empty string

A Trimmed string

A string that are both nonEmpty and trimmed, alias for "And NonEmptyString TrimmedString"

Make a trimmed string from a string. Note: will trim a non-trimmed string

Prove that a string is non-empty

Prove that a string is both non-empty and trimmed

Prove that a string is trimmed

Get the length of a non-empty string