TypeSpecifier

TypeSpecifier[cons] represents a type.

TypeSpecifier[cons][type1,…] or cons::[type1,…] represents a compound type.

Please visit the official Wolfram Language Reference for more details and examples on core symbols.