User Tools


Differences

This shows you the differences between two versions of the page.

Link to this comparison view

cl:types:mod [2017/05/01 21:00] (current)
Line 1: Line 1:
 +====== Type Specifier MOD ======
 +
 +====Compound Type Specifier Kind====
 +Abbreviating.
 +
 +====Compound Type Specifier Syntax====
 +  * //**mod** n//
 +
 +====Compound Type Specifier Arguments====
 +  * //n// - a positive //​[[CL:​Glossary:​integer]]//​.
 +
 +====Compound Type Specifier Description====
 +This denotes the set of non-negative //​[[CL:​Glossary:​integers]]//​ less than //n//. This is equivalent to ''​([[CL:​Types:​integer]] 0 (//​n//​))''​ or to ''​([[CL:​Types:​integer]] 0 //​m//​)'',​ where ''//​m//​ = //n// - 1''​.
 +
 +The argument is required, and cannot be **[[CL:​Types:​wildcard|*]]**.
 +
 +The symbol **[[CL:​Types:​mod]]** is not valid as a //​[[CL:​Glossary:​type specifier]]//​.
 +
 +\issue{TYPE-SPECIFIER-ABBREVIATION:​X3J13-JUN90-GUESS}