Empty string: Difference between revisions
Content added Content deleted
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. |
||