typedef的形式定义，猜ing，求证

有网友问到typedef究竟怎么使用？书上有类似typedef A B;的形式表示定义B是类型A的别名。
但却可以看到如
typedef int (*fa[20])(int);
这样'奇怪'的形式居然也正确。

我觉得貌似可以这样说：
任何一个变量定义的形式
AnB;
其中包含变量名n，类型为C，如果改写为：
typedef AnB;
就使得名字n成为类型C的别称。

虽然不能确定它是正确的定义，但我还没有想到反例...