#### 12.2.11 mod [Type Specifier] ¶

#### Compound Type Specifier Kind:: ¶

Abbreviating.

#### Compound Type Specifier Syntax:: ¶

(`mod`{n})

#### Compound Type Specifier Arguments:: ¶

n—a positive integer.

#### Compound Type Specifier Description:: ¶

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.