		Search-engine friendly clone of the ACL2 documentation.

Simpadd0-param-declon

Transform a parameter declaration.

Signature
(simpadd0-param-declon paramdeclon gin) → (mv new-paramdeclon gout)
Arguments: paramdeclon — Guard (param-declonp paramdeclon).; gin — Guard (ginp gin).
Returns: new-paramdeclon — Type (param-declonp new-paramdeclon).; gout — Type (goutp gout).

We extend the variable-type map according to the parameter declarators/declarations, one after the other.