NonEmptyString: string

A string that has at least 1 character

1