empty constant

SpannedString const empty

An empty spanned string.

Implementation

static const SpannedString empty = SpannedString._empty();