The function name-defined-dspecs
looks in each of the dspec classes classes for definitions of name.
For each definition found (as if by dspec-defined-p), the result dspecs contains the canonical dspec.
LispWorks User Guide and Reference Manual - 13 Feb 2015