Position

Position -- a type of list designed to represent a position in a file.

It's implemented as a list whose three elements are the file name, the line number, and the column number.

topindexpreviousupnext