Cf_relations.IntThe equality and total ordering relation for standard integers. Prefer the Stdlib.Int module, if available.
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.