		Search-engine friendly clone of the ACL2 documentation.

Compdecl-list

Fixtype of lists of struct component declarations.

This is an ordinary fty::deflist.

Compdecl-list-fix: (compdecl-list-fix x) is a usual ACL2::fty list fixing function.
Compdecl-list-equiv: Basic equivalence relation for compdecl-list structures.
Compdecl-listp: (compdecl-listp x) recognizes lists where every element satisfies compdeclp.