A source position is comprised of a span and a source file
The column of the position, starting at 0
that a source position contained in this source position ?
outer is not taken into account.
The line of the position, starting at 0
The lines of the position
Extracts the lines from the underlying source file as
The text representation of this showable element. This normally dispatches to a pattern matching method in Printers.