Definitions for "normalizedString"
a string that does not have any whitespace characters except for space
This datatype describes a "normalized" string, meaning that it cannot include newline (LF), return (CR), or tab (HT) characters. Derived from the string type.