This chapter describes symbols available in the DSPEC package.
DSPEC
The dspec system is discussed in detail in Dspecs: Tools for Handling Definitions.
LispWorks User Guide and Reference Manual - 21 Dec 2011