Controls the type of resulting pointer value the @ operator returns when applied to a variable reference.

[ ] When Typed @ Operator is unchecked, the result type is Pointer, an untyped pointer compatible with all other pointer types.

[X] When Typed @ Operator is checked, the resulting pointer is ^T, where T is the type of variable reference. The result is of a type that is compatible only with other pointers to the type of the variable.

If you apply @ to a procedure, function or method, the type of resulting pointer is always Pointer, regardless of the state of this option.

Typed @ Operator is equivalent to  {$T}.