Declspec-list
Fixtype of lists of declaration specifiers.
The fixtype of declaration specifiers is defined in declspec.
This fixtype corresponds to declaration-specifiers
in the grammar in [C].
Subtopics
- Declspec-list-equiv
- Basic equivalence relation for declspec-list structures.
- Declspec-listp
- (declspec-listp x) recognizes lists where every element satisfies declspecp.
- Declspec-list-fix
- (declspec-list-fix x) is a usual ACL2::fty list fixing function.