A Span represents a span of a SourceInput. Either both start and end are known, or both are unknown. If end is unknown but not the start, they are made equal (the span is a single position). If start is unknown but not the end, the end is considered an incorrect value, and made unknown.
Optional
start: SourcePositionOptional
end: SourcePositionReadonly
endThe end position of the span.
Readonly
startThe start position of the span.
A Span is a section of the SourceInput. It is determined by a start position and an end position.
REPRESENTATION INVARIANT: (not verified)