Fixtype of abstract declarators [C:6.7.7] [C:A.2.2].
This is a product type introduced by fty::defprod.
This corresponds to abstract-declarator in the grammar in [C]. This fixtype is similar to declor (see that fixtype's documentation in particular for an explanation of the modeling of the pointer part), but the abstract direct declarator is optional.