Typed

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

Examples

Typed[x, "Real64"]

FunctionCompile[Function[{Typed[x, "Integer64"]}, x + 1]]

Please visit the official Wolfram Language Reference for more details.