This chapter describes symbols available in the DSPEC package.
DSPEC
For an overview of the dspec system, see the LispWorks User Guide .