Expand description
Source spans.
A Span is a half-open byte range [start, end) within a single source
file. It is stored as a start offset plus a length, never as two
independent offsets, so an inverted span (end < start) is literally
unrepresentable.