A source position is comprised of a position in 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