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.