empty constant

Characters const empty

An empty Characters containing no characters.

Implementation

static const Characters empty = StringCharacters("");