Typed

Typed[expr,type] represents an expression that should be assumed to be of a specified type for compilation and other purposes.

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