		Search-engine friendly clone of the ACL2 documentation.

Validation-information

Param-declor-nonabstract-info

Fixtype of validation information for non-abstract parameter declarators.

This is a product type introduced by fty::defprod.

Fields

type — type
uid — uid

This is the type of the annotations that the validator adds to non-abstract parameter declarators, i.e. the param-declor fixtype with kind :nonabstract. The information consists of the type of the declared identifier and a unique identifier.

Subtopics

Param-declor-nonabstract-info-fix: Fixing function for param-declor-nonabstract-info structures.
Param-declor-nonabstract-info-equiv: Basic equivalence relation for param-declor-nonabstract-info structures.
Make-param-declor-nonabstract-info: Basic constructor macro for param-declor-nonabstract-info structures.
Param-declor-nonabstract-info->uid: Get the uid field from a param-declor-nonabstract-info.
Param-declor-nonabstract-info->type: Get the type field from a param-declor-nonabstract-info.
Change-param-declor-nonabstract-info: Modifying constructor for param-declor-nonabstract-info structures.
Param-declor-nonabstract-infop: Recognizer for param-declor-nonabstract-info structures.