TypeHint

TypeHint[expr, type] represents an expression of a specified type when compiled and gives expr when evaluated.

Examples

Hint that an expression is a real number:

TypeHint[x + y, "Real64"]

Use in compiled code:

FunctionCompile[Function[{x}, TypeHint[x^2, "Integer64"]]]

Please visit the official Wolfram Language Reference for more details.