Print-enumspec
Print an enueration specifier.
- Signature
(print-enumspec enumspec pstate) → new-pstate
- Arguments
- enumspec — Guard (enumspecp enumspec).
- pstate — Guard (pristatep pstate).
- Returns
- new-pstate — Type (pristatep new-pstate).
We ensure that the enumeration specifier is not empty,
i.e. that there is a name or a non-empty list of enumerators.
