Specqual-list
Fixtype of lists of type specifiers and type qualifiers.
The fixtype of type specifiers and type qualifiers
is defined in specqual.
This fixtype corresponds to specifier-qualifier-list.
Subtopics
- Specqual-list-equiv
- Basic equivalence relation for specqual-list structures.
- Specqual-listp
- (specqual-listp x) recognizes lists where every element satisfies specqualp.
- Specqual-list-fix
- (specqual-list-fix x) is a usual ACL2::fty list fixing function.