Why do you assume it was a pointer type?

Because afterwards you said arr[n]. By convention n is definitely an integer and if arr is also, say, an integer, you get

 error: subscripted value is neither array nor pointer nor vector

Why do you assume C either?

Because you didn’t write ^(@arr+0) (Not sure that’s even valid though my Pascal is very rusty).

This is pseudo code to illustrate pointer offsets

Granted. But then it’s still Pseudo-C, not Pseudo-Pascal or Pseudo-Whitespace.