Abbreviating.

• mod n

• n - a positive integer.

This denotes the set of non-negative integers less than n. This is equivalent to (integer 0 (n)) or to (integer 0 m), where m = n - 1.

The argument is required, and cannot be *.

The symbol mod is not valid as a type specifier.

\issue{TYPE-SPECIFIER-ABBREVIATION:X3J13-JUN90-GUESS}