		Search-engine friendly clone of the ACL2 documentation.

Print-paramdeclor

Print a parameter declarator.

Signature
(print-paramdeclor paramdeclor pstate) → new-pstate
Arguments: paramdeclor — Guard (paramdeclorp paramdeclor).; pstate — Guard (pristatep pstate).
Returns: new-pstate — Type (pristatep new-pstate).

This is always called after printing the declaration specifiers that start a parameter declaration. Thus, if the parameter declarator is present, we print a space to separate the declaration specifiers from the declarator or abstract declarator.