An abstract type.

Use compare a b to compare a and b, returning 0 if the two values have equal ordering, 1 if a precedes b and -1 if a succeeds b.