		Search-engine friendly clone of the ACL2 documentation.

Valid-struct-declor-list

Validate a list structure declarators.

Signature
(valid-struct-declor-list structdeclors previous type table ienv) → (mv erp new-structdeclors new-previous return-types new-table)
Arguments: structdeclors — Guard (struct-declor-listp structdeclors).; previous — Guard (ident-listp previous).; type — Guard (typep type).; table — Guard (valid-tablep table).; ienv — Guard (ienvp ienv).
Returns: erp — Type (maybe-msgp erp).; new-structdeclors — Type (struct-declor-listp new-structdeclors).; new-previous — Type (ident-listp new-previous).; return-types — Type (type-setp return-types).; new-table — Type (valid-tablep new-table).

We validate each structure declarator in turn, threading the data through. Note that the same type (coming from the list of specifiers and qualifiers) is passed to the validation function for each structure declarator, since that type applied to all them (possibly refined, possibly differently, by the structure declarators.