Branded string type for non-empty strings (strings with at least one
character).
Defined as an alias of MinLengthString<1>, so it participates in
the length-constraint subtyping relation: a NonEmptyString is assignable
to MinLengthString<0>, and any MinLengthString<N> with N >= 1 (or
FixedLengthString<N> with N >= 1) is assignable to NonEmptyString.
Branded string type for non-empty strings (strings with at least one character).
Defined as an alias of MinLengthString
<1>, so it participates in the length-constraint subtyping relation: aNonEmptyStringis assignable toMinLengthString<0>, and anyMinLengthString<N>withN >= 1(orFixedLengthString<N>withN >= 1) is assignable toNonEmptyString.