User Tools


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

Link to this comparison view

cl:types:and [2017/05/01 21:00] (current)
Line 1: Line 1:
 +====== Type Specifier AND ======
 +====Compound Type Specifier Kind====
 +====Compound Type Specifier Syntax====
 +**and** //​typespec//''​*''​
 +====Compound Type Specifier Arguments====
 +//​typespec//​ - a //​[[CL:​Glossary:​type specifier]]//​.
 +====Compound Type Specifier Description====
 +This denotes the set of all //​[[CL:​Glossary:​object|objects]]//​ of the //​[[CL:​Glossary:​type]]//​ determined by the intersection of the //​typespecs//​.
 +**[[CL:​Types:​wildcard|*]]** is not permitted as an argument.
 +The //​[[CL:​Glossary:​type specifiers]]//​ ''​(and)''​ and **[[CL:​Types:​t]]** are equivalent. The symbol **and** is not valid as a //​[[CL:​Glossary:​type specifier]]//,​ and, specifically,​ it is not an abbreviation for ''​(and)''​.