A symbol naming a definer.
A list representing the parameters of a name dspec.
Forms evaluated to yield a dspec.
The macro define-dspec-alias works rather like deftype. Dspecs whose car
is name should have parameters that match lambda-list. They will be canonicalized into the dspec returned by body.
define-dspec-alias
is useful when you add a new way of making existing definitions with a new defining form that expands into a system-provided defining form. The dspec system should consider the new and system-provided definers as variant forms of the same dspec class. define-dspec-alias
is used to convert one of them to the other during canonicalization by canonicalize-dspec.
LispWorks User Guide and Reference Manual - 13 Feb 2015