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 - 20 Sep 2017