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.