You define a variable the same way you would use it. int *a -> expression *a has type int. int *a[10] -> *a[_] has type int. in

You define a variable the same way you would use it. int *a -> expression *a has type int. int *a[10] -> *a[_] has type int. int (*a)[10] -> (*a)[_] has type int. int (*a)(int, int) -> (*a)(_, _) has type int. No need for complicated things like "spiral rules", etc.