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.