Declarations provide a way of specifying information for use by program processors, such as the evaluator or the compiler.
Local declarations
can be embedded in executable code using declare. Global declarations , or proclamations , are established by proclaim or declaim.
The the special form provides a shorthand notation for making a local declaration about the type of the value of a given form.
The consequences are undefined if a program violates a declaration or a proclamation.
Go to the first, previous, next, last section, table of contents.