│ [ ] Typed @ Operator │
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.