		Search-engine friendly clone of the ACL2 documentation.

Valid-absdeclor

Validate an abstract declarator.

Signature
(valid-absdeclor absdeclor type table ienv) → (mv erp new-absdeclor new-type return-types new-table)
Arguments: absdeclor — Guard (absdeclorp absdeclor).; type — Guard (typep type).; table — Guard (valid-tablep table).; ienv — Guard (ienvp ienv).
Returns: new-absdeclor — Type (absdeclorp new-absdeclor).; new-type — Type (typep new-type).; return-types — Type (type-setp return-types).; new-table — Type (valid-tablep new-table).

This is fairly similar to valid-declor (see that function's documentation), but since the declarator is abstract, there is no identifier being declared to return. Furthermore, there is no flag for function definitions, since a function definition uses a declarator, not an abstract declarator.