Empty string: Difference between revisions
Content deleted Content added
Thundergnat (talk | contribs) m →{{header|C sharp}}: Regularize header markup to recommended on category page |
m →{{header|Avail}}: replaced </avail> with </lang> |
||
Line 421: | Line 421: | ||
Assert: nonemptyStringVar ≠ <>; |
Assert: nonemptyStringVar ≠ <>; |
||
Assert: ¬nonemptyStringVar is empty; |
Assert: ¬nonemptyStringVar is empty; |
||
Assert: |nonemptyStringVar| > 0;</ |
Assert: |nonemptyStringVar| > 0;</lang> |
||
The library also defines a type _nonempty string_, which can be leveraged for a type-membership check. |
The library also defines a type _nonempty string_, which can be leveraged for a type-membership check. |