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.