NOTE: the latest version is 7.3.9
Range for a piece of code with a start and end
Source location
Construct an empty range
Compute the largest area of a list of ranges.
See also Basics.compare.
Compare the position of two Ranges.
Compare two Locations.
Encode a range
Decode a range
Range for a piece of code with a start and end