SequenceType

SequenceType[var] represents a type parameterized by var that refers to a sequence of zero or more types.

Examples

Define a sequence type:

SequenceType[t]

Use in type specifications:

TypeSpecifier[List[SequenceType[Integer]]]

Pattern matching with types:

{1, 2, 3} // TypeCheck[List[SequenceType[Integer]]]

Please visit the official Wolfram Language Reference for more details.